# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 810400709 0
# Node ID 237f7920c3a20f8fc18243f51d2c36f70a5e4e79
# Parent  7946d20948fc712669cca5b2072bd4825a76350b
(install-arch-indep): Always install the new dir file;
rename the previous dir file to dir.bak or dir.old.

diff -r 7946d20948fc -r 237f7920c3a2 Makefile.in
--- a/Makefile.in	Wed Sep 06 15:16:39 1995 +0000
+++ b/Makefile.in	Wed Sep 06 15:18:29 1995 +0000
@@ -349,9 +349,11 @@
 	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); \