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 | 21e8e1db5964ff1dd809bffa2b16aaa2bf9c0752 (patch) | |
| tree | 7eb01336d0638e98896ee556d90a003f6e563475 | |
| parent | 1447c534b58e65c5a8db280996ed651fad8625f1 (diff) | |
| download | emacs-21e8e1db5964ff1dd809bffa2b16aaa2bf9c0752.tar.gz | |
(do-install): Partially rewrite using `if'.
| -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 |