# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 775513997 0
# Node ID b84147ed033dca83b32a4ee7ce943f57d7e1b621
# Parent  46b6425cf98032eef18ed14debaca53f4a2699ef
(${archlibdir}): Compare the proper dir
before installing the scripts.

diff -r 46b6425cf980 -r b84147ed033d lib-src/Makefile.in
--- a/lib-src/Makefile.in	Fri Jul 29 20:00:00 1994 +0000
+++ b/lib-src/Makefile.in	Fri Jul 29 20:33:17 1994 +0000
@@ -199,6 +199,9 @@
 	  for file in ${UTILITIES}; do \
 	    (cd ..; $(INSTALL_PROGRAM) lib-src/$$file ${archlibdir}/$$file) ; \
 	  done ; \
+        fi
+        if [ `(cd ${archlibdir} && /bin/pwd)` \
+             != `(cd ${srcdir} && /bin/pwd)` ]; then \
 	  for file in ${SCRIPTS}; do \
 	    (cd ..; $(INSTALL_PROGRAM) ${srcdir}/$$file ${archlibdir}/$$file); \
 	  done ; \