changeset 13570:1bd9b0579ae5

(install-arch-indep): Rename old info/dir only if exists.
author Richard M. Stallman <rms@gnu.org>
date Thu, 16 Nov 1995 21:59:46 +0000
parents 438ebe3b6f8d
children 1c20ebe08f0a
files Makefile.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Thu Nov 16 20:04:57 1995 +0000
+++ b/Makefile.in	Thu Nov 16 21:59:46 1995 +0000
@@ -352,7 +352,7 @@
 	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); \