# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1202502593 0
# Node ID 8bf8aae304d2252099d2838239b03035c172f0fc
# Parent  d21e5f7e5b98f80a14fe9fc88a33ba3f872f1105
*** empty log message ***

diff -r d21e5f7e5b98 -r 8bf8aae304d2 ChangeLog
--- a/ChangeLog	Fri Feb 08 20:29:47 2008 +0000
+++ b/ChangeLog	Fri Feb 08 20:29:53 2008 +0000
@@ -1,3 +1,7 @@
+2008-02-08  Glenn Morris  <rgm@gnu.org>
+
+	* Makefile.in (check-info-dir): New target.
+
 2008-02-08  Michael Olson  <mwolson@gnu.org>
 
 	* Makefile.in (INFO_FILES): Add epa.