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

diff --git a/ChangeLog b/ChangeLog
index 1b73384bc598065a9127aac27769efe8cc55e377..57d3f3f7a33204ad6b6b385f8ebbaca9b6e1180b 100644 (file)
--- 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 965fdd9c562f0ca3c208a3b6578f0535c86c6154..d80bd1c19363a3fa50861b91cdd8d7ce3ba1aae8 100644 (file)
--- 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