diff options
| author | Richard M. Stallman <[email protected]> | 1995-11-16 21:59:46 +0000 |
|---|---|---|
| committer | Richard M. Stallman <[email protected]> | 1995-11-16 21:59:46 +0000 |
| commit | 27116657a36553d17e14c30fcbc5f8f8f682eda5 (patch) | |
| tree | 55cfdd0022fcd15e11578cddc601cdead2d7c2cf /Makefile.in | |
| parent | a0844fc6436f1f50072e24058769aea116de18a7 (diff) | |
(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 6fd78d54eb..623423d794 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); \ |