diff options
author | Richard M. Stallman <rms@gnu.org> | 1993-06-02 05:16:03 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1993-06-02 05:16:03 +0000 |
commit | 9e1c88e8f8a9d74f5eeb412efa5046ea94c4de13 (patch) | |
tree | d87d285764a13a9aafcf77ef248a58f1a5cc5cad /Makefile.in | |
parent | 27b7e18612dadcd034d41bafc7a5a6b36052069c (diff) | |
download | emacs-9e1c88e8f8a9d74f5eeb412efa5046ea94c4de13.tar.gz |
(do-install): Partially rewrite using `if'.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/Makefile.in b/Makefile.in index b9890fb5c93..bd5199dc221 100644 --- a/Makefile.in +++ b/Makefile.in @@ -349,17 +349,20 @@ 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 [ `(cd ./etc; /bin/pwd)` != `(cd ${srcdir}/etc; /bin/pwd)` ]; \ + then \ + echo "Copying etc/DOC* ..." ; \ + (cd etc; tar -cf - DOC*)|(cd ${etcdir}; umask 0; tar -xvf - ); \ + else true; fi + if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ]; \ + then (cd ${srcdir}/info ; \ if [ ! -f ${infodir}/dir ] && [ -f dir ]; then \ ${INSTALL_DATA} dir ${infodir}/dir ; \ fi ; \ for f in cl* emacs* forms* info* vip* ; do \ ${INSTALL_DATA} $$f ${infodir}/$$f ; \ - done) + done); \ + else true; fi cd ${srcdir}/etc; for page in emacs etags ctags ; do \ ${INSTALL_DATA} $${page}.1 ${mandir}/$${page}${manext} ; \ done |