changeset 102390:f52db8c1d1b5

Comment.
author Glenn Morris <rgm@gnu.org>
date Wed, 04 Mar 2009 05:44:22 +0000
parents 5df43ff4e17d
children a927f31f34d5
files doc/misc/Makefile.in
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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 \