diff options
| author | Richard M. Stallman <rms@gnu.org> | 1995-09-06 15:18:29 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1995-09-06 15:18:29 +0000 |
| commit | d76af1eabe867028070b6d7896d25252a962ca82 (patch) | |
| tree | b160361da1150c4d1beb37b306fac8dab27c21f3 /Makefile.in | |
| parent | 33c7613a4eb1e13ca32611248ff165ded270d245 (diff) | |
| download | emacs-d76af1eabe867028070b6d7896d25252a962ca82.tar.gz | |
(install-arch-indep): Always install the new dir file;
rename the previous dir file to dir.bak or dir.old.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index 7236014e390..6751aa48881 100644 --- a/Makefile.in +++ b/Makefile.in @@ -349,9 +349,11 @@ install-arch-indep: mkdir thisdir=`/bin/pwd`; \ if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ]; \ then \ - (cd ${srcdir}/info ; \ - if [ ! -f ${infodir}/dir ] && [ -f dir ]; then \ - (cd $${thisdir}; ${INSTALL_DATA} ${srcdir}/info/dir ${infodir}/dir); \ + (cd ${infodir}; \ + if [ ! -f dir.old ]; then mv -f dir dir.old; \ + else mv -f dir dir.bak; fi; \ + cd ${srcdir}/info ; \ + (cd $${thisdir}; ${INSTALL_DATA} ${srcdir}/info/dir ${infodir}/dir); \ fi ; \ for f in cl* dired-x* ediff* emacs* forms* gnus* info* mh-e* sc* vip*; do \ (cd $${thisdir}; ${INSTALL_DATA} ${srcdir}/info/$$f ${infodir}/$$f); \ |