changeset 3345:38168270a9ca

(do-install): Copy the DOC-* files from the build etc directory, as well as lots of things from ${srcdir}/etc.
author Richard M. Stallman <rms@gnu.org>
date Mon, 31 May 1993 06:07:08 +0000
parents deeb7a37ea11
children 0047b8501fce
files Makefile.in
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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 \