(do-install): Copy the DOC-* files from the build

etc directory, as well as lots of things from ${srcdir}/etc.

Makefile.in

@@ -319,6 +319,8 @@ Makefile:
 ## 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 @@ do-install: mkdir
 		 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 \