diff doc/misc/Makefile.in @ 102390:f52db8c1d1b5

Comment.
author Glenn Morris <rgm@gnu.org>
date Wed, 04 Mar 2009 05:44:22 +0000
parents 2c2214eb4f14
children 6104e7688824
line wrap: on
line diff
--- 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 \