diff options
author | Richard M. Stallman <rms@gnu.org> | 1995-11-16 21:59:46 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1995-11-16 21:59:46 +0000 |
commit | 7836252b89548fa8841b0515456a7b819636efb1 (patch) | |
tree | dc48d4e530e571b288a5cc77a2b2647f8d9698da /Makefile.in | |
parent | 6b91dcdc8eca57a41ca76d7b55c96470d95e6b0d (diff) | |
download | emacs-7836252b89548fa8841b0515456a7b819636efb1.tar.gz |
(install-arch-indep): Rename old info/dir only if exists.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 6fd78d54ebc..623423d7946 100644 --- a/Makefile.in +++ b/Makefile.in @@ -352,7 +352,7 @@ install-arch-indep: mkdir if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ]; \ then \ (cd ${infodir}; \ - if [ ! -f dir.old ]; then mv -f dir dir.old; \ + if [ -f dir ] && [ ! -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); \ |