diff options
| author | Richard M. Stallman <rms@gnu.org> | 1993-05-31 06:07:08 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1993-05-31 06:07:08 +0000 |
| commit | af1d3b64a2687ec2587193bb7f3827da2ea55dac (patch) | |
| tree | ff815681ba4c4ef9aee2e9897570cc35dc9e4b04 | |
| parent | 09b89128ef1ad27597062ec71bb595e2848d0ec9 (diff) | |
| download | emacs-af1d3b64a2687ec2587193bb7f3827da2ea55dac.tar.gz | |
(do-install): Copy the DOC-* files from the build
etc directory, as well as lots of things from ${srcdir}/etc.
| -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 \ |