changeset 13002:237f7920c3a2

(install-arch-indep): Always install the new dir file; rename the previous dir file to dir.bak or dir.old.
author Richard M. Stallman <rms@gnu.org>
date Wed, 06 Sep 1995 15:18:29 +0000
parents 7946d20948fc
children 4711396531e8
files Makefile.in
diffstat 1 files changed, 5 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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); \