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

2 files changed, 6 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 4ffe8ace61f..1db46b732f3 100644
--- 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 abb8d9d5005..d7e08a2328f 100644
--- 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