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

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

1 files changed, 5 insertions, 0 deletions

diff --git a/Makefile.in b/Makefile.in
index d0a902f95cc..ea5228898b4 100644
--- a/Makefile.in
+++ b/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 \