gtk: Catch up with install-shim's DESTDIR support.

diff --git a/src/gtk/Makefile.in b/src/gtk/Makefile.in
index 4df7a3c130b12c62003063ee3ccc8a45b62b99aa..7e6fb32bea06b12ff318d4b0bb18e356d8d2ff50 100644 (file)
--- a/src/gtk/Makefile.in
+++ b/src/gtk/Makefile.in
@@ -48,8 +48,8 @@ mit-scheme-gtk.html: gtk.texinfo
 
 install:
        ( echo '(begin'; \
-         echo '  (install-shim "gtk")'; \
-         echo '  (install-load-option "gtk"))' ) \
+         echo '  (install-shim "$(DESTDIR)" "gtk")'; \
+         echo '  (install-load-option "$(DESTDIR)" "gtk"))' ) \
        | $(exe) -- *.com *.bci *.pkd make.scm conses.png
 
 # install-doc: