# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 816559186 0
# Node ID 1bd9b0579ae5e6169b223abb5ecd027ee1360441
# Parent  438ebe3b6f8dafb31f04a5efa071729a793a82f0
(install-arch-indep): Rename old info/dir only if exists.

diff -r 438ebe3b6f8d -r 1bd9b0579ae5 Makefile.in
--- 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); \