# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 820073419 0
# Node ID 47fd98cc412a574b1e3ef03ff1d821223d262851
# Parent  e79f2b570509068a8ea2677fb4cc6925c7c1be3a
(install): Turn on read/execute permission.

diff -r e79f2b570509 -r 47fd98cc412a lib-src/Makefile.in
--- a/lib-src/Makefile.in	Tue Dec 26 19:43:51 1995 +0000
+++ b/lib-src/Makefile.in	Wed Dec 27 14:10:19 1995 +0000
@@ -257,9 +257,11 @@
 	@echo "Installing utilities for users to run."
 	for file in ${INSTALLABLES} ; do \
 	  $(INSTALL_PROGRAM) $${file} ${bindir}/$${file} ; \
+	  chmod a+rx ${bindir}/$${file}; \
 	done
 	for file in ${INSTALLABLE_SCRIPTS} ; do \
 	  $(INSTALL_PROGRAM) ${srcdir}/$${file} ${bindir}/$${file} ; \
+	  chmod a+rx ${bindir}/$${file}; \
 	done
 
 uninstall: