# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 762124729 0
# Node ID 83c6f15698be5b2322f9101c2c3ba7d3db8816d5
# Parent  8784f8ebbb6b298132ed63f3d7e7ba14457f1e2d
Install DOC* in docdir.

diff -r 8784f8ebbb6b -r 83c6f15698be Makefile.in
--- a/Makefile.in	Thu Feb 24 20:41:49 1994 +0000
+++ b/Makefile.in	Thu Feb 24 21:18:49 1994 +0000
@@ -296,10 +296,10 @@
 		 rm -f  $${subdir}/*~ ; \
 	       done) ; \
 	 done
-	if [ `(cd ./etc; /bin/pwd)` != `(cd ${srcdir}/etc; /bin/pwd)` ]; \
+	if [ `(cd ./etc; /bin/pwd)` != `(cd ${docdir}; /bin/pwd)` ]; \
 	then \
 	   echo "Copying etc/DOC* ..." ; \
-	   (cd etc; tar -cf - DOC*)|(cd ${etcdir}; umask 0; tar -xvf - ); \
+	   (cd etc; tar -cf - DOC*)|(cd ${docdir}; umask 0; tar -xvf - ); \
 	else true; fi
 	if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ]; \
 	then (cd ${srcdir}/info ; \