diff options
author | Glenn Morris <[email protected]> | 2009-03-04 05:44:22 +0000 |
---|---|---|
committer | Glenn Morris <[email protected]> | 2009-03-04 05:44:22 +0000 |
commit | fbe1bb463817b129f756e73d0602f65bb3214e7e (patch) | |
tree | 82d1bfcc5e6187e92378051b70f58f944cb808c4 | |
parent | 389b99fdb32c620659d39a094fe3734a1e29eeac (diff) |
Comment.
-rw-r--r-- | doc/misc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
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 \ |