diff options
Diffstat (limited to 'doc/misc')
| -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 3c74f1208c9..cea785267a7 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in | |||
| @@ -36,6 +36,7 @@ infodir=../../info | |||
| 36 | # Use --force so that it generates output even if there are errors. | 36 | # Use --force so that it generates output even if there are errors. |
| 37 | MAKEINFO = makeinfo --force | 37 | MAKEINFO = makeinfo --force |
| 38 | 38 | ||
| 39 | # Also add new entries to INFO_FILES in the top-level Makefile.in. | ||
| 39 | INFO_TARGETS = \ | 40 | INFO_TARGETS = \ |
| 40 | $(infodir)/ada-mode \ | 41 | $(infodir)/ada-mode \ |
| 41 | $(infodir)/auth \ | 42 | $(infodir)/auth \ |