# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1236145462 0
# Node ID f52db8c1d1b53eb132959e17290b073b11d81ac2
# Parent  5df43ff4e17d4cd5665ee134ede58a1e08e88f56
Comment.

diff -r 5df43ff4e17d -r f52db8c1d1b5 doc/misc/Makefile.in
--- a/doc/misc/Makefile.in	Wed Mar 04 05:42:07 2009 +0000
+++ b/doc/misc/Makefile.in	Wed Mar 04 05:44:22 2009 +0000
@@ -36,6 +36,7 @@
 # Use --force so that it generates output even if there are errors.
 MAKEINFO = makeinfo --force
 
+# Also add new entries to INFO_FILES in the top-level Makefile.in.
 INFO_TARGETS = \
 	$(infodir)/ada-mode \
 	$(infodir)/auth \