* Makefile.in (install-arch-indep): Delete any old info .gz files first.

diff --git a/ChangeLog b/ChangeLog
index 4ffe8ace61fdcf82b4281aaa1fe262fe43bd963d..1db46b732f31a7310ed53c25a04e09417802366e 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-06-12  Glenn Morris  <rgm@gnu.org>
+
+       * Makefile.in (install-arch-indep): Delete any old info .gz files first.
+
 2010-06-11  Glenn Morris  <rgm@gnu.org>
 
        * configure.in (--without-compress-info): New option.

diff --git a/Makefile.in b/Makefile.in
index abb8d9d5005a07c3b18fda6eef17cae6b0c610c6..d7e08a2328f948e62e006196673a785089c92fd1 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -583,6 +583,7 @@ install-arch-indep: mkdir info install-etc
                ${INSTALL_DATA} $$f $(DESTDIR)${infodir}/$$f; \
                chmod a+r $(DESTDIR)${infodir}/$$f; \
                if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \
+                 rm -f $(DESTDIR)${infodir}/$$f.gz; \
                  ${GZIP_PROG} -9n $(DESTDIR)${infodir}/$$f; \
                else true; fi; \
              done; \
@@ -606,6 +607,7 @@ install-arch-indep: mkdir info install-etc
           ${INSTALL_DATA} ${mansrcdir}/$${page} $(DESTDIR)${man1dir}/$${page}; \
           chmod a+r $(DESTDIR)${man1dir}/$${page}; \
           if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \
+            rm -f $(DESTDIR)${man1dir}/$${page}.gz; \
             ${GZIP_PROG} -9n $(DESTDIR)${man1dir}/$${page}; \
           else true; fi ); \
        done