# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738828428 0
# Node ID 38168270a9ca2b0b1e361e481fd8853621e9125d
# Parent  deeb7a37ea11f997f573f30e0085f8e149823c9c
(do-install): Copy the DOC-* files from the build
etc directory, as well as lots of things from ${srcdir}/etc.

diff -r deeb7a37ea11 -r 38168270a9ca Makefile.in
--- a/Makefile.in	Mon May 31 06:03:21 1993 +0000
+++ b/Makefile.in	Mon May 31 06:07:08 1993 +0000
@@ -319,6 +319,8 @@
 ## source exists and is distinct from the destination.
 install: all do-install
 
+### Note that we copy the DOC-* files from the build etc directory
+### as well as lots of things from ${srcdir}/etc.
 do-install: mkdir
 	(cd lib-src; \
 	  $(MAKE) install ${MFLAGS} prefix=${prefix} \
@@ -346,6 +348,9 @@
 		 rm -f  $${subdir}/*~ ; \
 	       done) ; \
 	 done
+	[ `(cd etc; /bin/pwd)` != `(cd ${srcdir}/etc; /bin/pwd)` ] \
+	&& (echo "Copying etc/DOC* ..." ; \
+	    (cd etc; tar cf - DOC*)|(cd ${etcdir}; umask 0; tar xvf - ))
 	-[ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ] \
 	 && (cd ${srcdir}/info ; \
 	     if [ ! -f ${infodir}/dir ] && [ -f dir ]; then \