diff ChangeLog @ 108966:6f4e41648c3f

Make compressing the info files optional. * configure.in (--without-compress-info): New option. (GZIP_INFO): New output variable. * Makefile.in (GZIP_INFO): New, set by configure. (install-arch-indep): Don't gzip info pages if GZIP_INFO is nil. Handle man pages in the same way. * etc/NEWS: Re-order installation section, and add new item.
author Glenn Morris <rgm@gnu.org>
date Thu, 10 Jun 2010 20:35:40 -0700
parents 982e5d7f9b1e
children f282583957c5
line wrap: on
line diff
--- a/ChangeLog	Thu Jun 10 14:56:11 2010 +0200
+++ b/ChangeLog	Thu Jun 10 20:35:40 2010 -0700
@@ -1,3 +1,12 @@
+2010-06-11  Glenn Morris  <rgm@gnu.org>
+
+	* configure.in (--without-compress-info): New option.
+	(GZIP_INFO): New output variable.
+
+	* Makefile.in (GZIP_INFO): New, set by configure.
+	(install-arch-indep): Don't gzip info pages if GZIP_INFO is nil.
+	Handle man pages in the same way.
+
 2010-06-10  Glenn Morris  <rgm@gnu.org>
 
 	* Makefile.in (install-arch-indep): Gzip the info files too.