changeset 8895:64123b212090

(install-arch-indep): Copy DOC-*, not DOC*
author Karl Heuer <kwzh@gnu.org>
date Sun, 18 Sep 1994 23:46:48 +0000
parents 6b453f7dc22f
children 2d697a9302a7
files Makefile.in
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Sun Sep 18 21:35:34 1994 +0000
+++ b/Makefile.in	Sun Sep 18 23:46:48 1994 +0000
@@ -325,8 +325,8 @@
 	 done
 	if [ `(cd ./etc; /bin/pwd)` != `(cd ${docdir}; /bin/pwd)` ]; \
 	then \
-	   echo "Copying etc/DOC* ..." ; \
-	   (cd etc; tar -cf - DOC*)|(cd ${docdir}; umask 0; tar -xvf - ); \
+	   echo "Copying etc/DOC-* ..." ; \
+	   (cd etc; tar -cf - DOC-*)|(cd ${docdir}; umask 0; tar -xvf - ); \
 	else true; fi
 	thisdir=`/bin/pwd`; \
 	if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ]; \