diff ChangeLog @ 108974:f282583957c5

* Makefile.in (install-arch-indep): Delete any old info .gz files first.
author Glenn Morris <rgm@gnu.org>
date Fri, 11 Jun 2010 20:35:55 -0700
parents 6f4e41648c3f
children 6c39bda25895
line wrap: on
line diff
--- a/ChangeLog	Fri Jun 11 23:26:13 2010 +0200
+++ b/ChangeLog	Fri Jun 11 20:35:55 2010 -0700
@@ -1,3 +1,7 @@
+2010-06-12  Glenn Morris  <rgm@gnu.org>
+
+	* Makefile.in (install-arch-indep): Delete any old info .gz files first.
+
 2010-06-11  Glenn Morris  <rgm@gnu.org>
 
 	* configure.in (--without-compress-info): New option.