From fbe1bb463817b129f756e73d0602f65bb3214e7e Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Wed, 4 Mar 2009 05:44:22 +0000 Subject: Comment. --- doc/misc/Makefile.in | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/misc/Makefile.in') diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 3c74f1208c..cea785267a 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -36,6 +36,7 @@ infodir=../../info # 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 \ -- cgit v1.2.3