diff ChangeLog @ 109219:cc0ad61fb2a4

Merge from mainline.
author Katsumi Yamaoka <katsumi@flagship2>
date Fri, 11 Jun 2010 12:14:41 +0000
parents 6f4e41648c3f
children f282583957c5
line wrap: on
line diff
--- a/ChangeLog	Thu Jun 10 11:34:20 2010 +0000
+++ b/ChangeLog	Fri Jun 11 12:14:41 2010 +0000
@@ -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.