--- src/Makefile.in.orig	Mon Nov 27 19:21:00 2000
+++ src/Makefile.in	Mon Nov 27 19:22:38 2000
@@ -14,6 +14,7 @@
 INSTALL = @INSTALL@
 INSTALL_PROGRAM = @INSTALL_PROGRAM@
 INSTALL_DATA = @INSTALL_DATA@
+INSTALL_SCRIPT = @INSTALL_SCRIPT@
 
 CFLAGS = @CFLAGS@ -Wall @GTK_CFLAGS@ -I.. $(FPIC)
 
@@ -148,8 +149,8 @@
 	   $(CP) gtk*.ads gtk*.adb $(incdir); \
 	   $(CP) $(LIB_DIR)/glib*.ali $(LIB_DIR)/gdk*.ali $(LIB_DIR)/gtk*.ali $(alidir); \
 	   $(CHMOD) -w $(alidir)/*.ali; \
-	   $(INSTALL_PROGRAM) $(GTKADA_CONFIG) $(bindir); \
-           $(INSTALL_PROGRAM) $(GATE) $(bindir); \
+	   $(INSTALL_SCRIPT) $(GTKADA_CONFIG) $(bindir); \
+           $(INSTALL_SCRIPT) $(GATE) $(bindir); \
            $(INSTALL_PROGRAM) $(GATE_EX) $(bindir); \
            $(INSTALL_PROGRAM) $(DGATE) $(bindir); \
            $(INSTALL_PROGRAM) $(GDIALOG) $(bindir); \