* Makefile.in (install-arch-indep): Gzip the info files too.

2 files changed, 4 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 1b73384bc59..57d3f3f7a33 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2010-06-10  Glenn Morris  <rgm@gnu.org>
 
+        * Makefile.in (install-arch-indep): Gzip the info files too.
+
         * make-dist: Remove references to non-existent directories and files.
 
 2010-06-08  Dan Nicolaescu  <dann@ics.uci.edu>
diff --git a/Makefile.in b/Makefile.in
index 965fdd9c562..d80bd1c1936 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -580,6 +580,8 @@ install-arch-indep: mkdir info install-etc
               for f in `ls $$elt $$elt-[1-9] $$elt-[1-9][0-9] 2>/dev/null`; do \
                 ${INSTALL_DATA} $$f $(DESTDIR)${infodir}/$$f; \
                 chmod a+r $(DESTDIR)${infodir}/$$f; \
+                [ -n "${GZIP_PROG}" ] && \
+                  ${GZIP_PROG} -9n $(DESTDIR)${infodir}/$$f; \
               done; \
            done); \
         else true; fi