# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 779932008 0
# Node ID 64123b212090bb1949fed64a214f65730f351d9e
# Parent  6b453f7dc22f0580932d29d32cae3a4ed1605f80
(install-arch-indep): Copy DOC-*, not DOC*

diff -r 6b453f7dc22f -r 64123b212090 Makefile.in
--- 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)` ]; \