diff options
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 \ |