diff ChangeLog @ 108958:982e5d7f9b1e

* Makefile.in (install-arch-indep): Gzip the info files too.
author Glenn Morris <rgm@gnu.org>
date Wed, 09 Jun 2010 22:34:38 -0700
parents 4f510fa72be2
children 6f4e41648c3f
line wrap: on
line diff
--- 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>