diff options
| author | Glenn Morris <rgm@gnu.org> | 2009-03-04 05:44:22 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2009-03-04 05:44:22 +0000 |
| commit | fbe1bb463817b129f756e73d0602f65bb3214e7e (patch) | |
| tree | 82d1bfcc5e6187e92378051b70f58f944cb808c4 /doc/misc/Makefile.in | |
| parent | 389b99fdb32c620659d39a094fe3734a1e29eeac (diff) | |
Comment.
Diffstat (limited to 'doc/misc/Makefile.in')
| -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 \ |