# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738550510 0
# Node ID b901b5e04fbbc12182caf049d5253fe2defa75ef
# Parent  0790b5563a66b4116e0525bb9d0b6579da0f18d8
(install): Get the scripts from ${srcdir}, unlike the executables.

diff -r 0790b5563a66 -r b901b5e04fbb lib-src/Makefile.in
--- a/lib-src/Makefile.in	Fri May 28 00:51:49 1993 +0000
+++ b/lib-src/Makefile.in	Fri May 28 00:55:10 1993 +0000
@@ -138,10 +138,14 @@
 install: ${archlibdir}
 	@echo
 	@echo "Installing utilities for users to run."
-	for file in ${INSTALLABLES}  ${INSTALLABLE_SCRIPTS}; do \
+	for file in ${INSTALLABLES} ; do \
 	  cp $${file} ${bindir}/$${file}.new ; \
 	  chmod 755 ${bindir}/$${file}.new ; \
         done
+	for file in ${INSTALLABLE_SCRIPTS} ; do \
+	  cp ${srcdir}/$${file} ${bindir}/$${file}.new ; \
+	  chmod 755 ${bindir}/$${file}.new ; \
+        done
 	@echo
 	@echo "Changing the owner and group of utility programs to \`bin'."
 	@echo "(You may ignore errors here if you don't care about this.)"