diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index b9b309855c9..03c664190f5 100644 --- a/man/Makefile.in +++ b/man/Makefile.in | |||
| @@ -31,7 +31,8 @@ VPATH=@srcdir@ | |||
| 31 | 31 | ||
| 32 | 32 | ||
| 33 | # The makeinfo program is part of the Texinfo distribution. | 33 | # The makeinfo program is part of the Texinfo distribution. |
| 34 | MAKEINFO = makeinfo | 34 | # Use --force so that it generates output even if there are errors. |
| 35 | MAKEINFO = makeinfo --force | ||
| 35 | INFO_TARGETS = ../info/emacs ../info/emacs-xtra ../info/ccmode ../info/cl \ | 36 | INFO_TARGETS = ../info/emacs ../info/emacs-xtra ../info/ccmode ../info/cl \ |
| 36 | ../info/dired-x ../info/ediff ../info/forms ../info/gnus \ | 37 | ../info/dired-x ../info/ediff ../info/forms ../info/gnus \ |
| 37 | ../info/message ../info/sieve ../info/pgg ../info/emacs-mime \ | 38 | ../info/message ../info/sieve ../info/pgg ../info/emacs-mime \ |