# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1276148078 25200
# Node ID 982e5d7f9b1ec7f04e663c1c0a9e6334858410d5
# Parent  81d65beb3ea526ff902323da3efcd3b4a316ef16
* Makefile.in (install-arch-indep): Gzip the info files too.

diff -r 81d65beb3ea5 -r 982e5d7f9b1e ChangeLog
--- a/ChangeLog	Wed Jun 09 22:31:36 2010 -0700
+++ b/ChangeLog	Wed Jun 09 22:34:38 2010 -0700
@@ -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 -r 81d65beb3ea5 -r 982e5d7f9b1e Makefile.in
--- a/Makefile.in	Wed Jun 09 22:31:36 2010 -0700
+++ b/Makefile.in	Wed Jun 09 22:34:38 2010 -0700
@@ -580,6 +580,8 @@
 	      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