From 1744c457b83d6af869a397419837f15196651062 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Wed, 16 Oct 2013 11:51:33 -0700 Subject: [PATCH] gtk: Catch up with install-shim's DESTDIR support. --- src/gtk/Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/gtk/Makefile.in b/src/gtk/Makefile.in index 4df7a3c13..7e6fb32be 100644 --- 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: -- 2.25.1