diff options
| -rw-r--r-- | Makefile.in | 5 |
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 \ |