diff options
| -rw-r--r-- | lispref/Makefile.in | 2 | ||||
| -rw-r--r-- | man/Makefile.in | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/lispref/Makefile.in b/lispref/Makefile.in index c0e3b54c952..770ffd5769a 100644 --- a/lispref/Makefile.in +++ b/lispref/Makefile.in | |||
| @@ -31,7 +31,7 @@ infodir = $(srcdir)/../info | |||
| 31 | TEXI2DVI = texi2dvi | 31 | TEXI2DVI = texi2dvi |
| 32 | SHELL = /bin/sh | 32 | SHELL = /bin/sh |
| 33 | INSTALL_INFO = install-info | 33 | INSTALL_INFO = install-info |
| 34 | MAKEINFO = makeinfo | 34 | MAKEINFO = makeinfo --force |
| 35 | 35 | ||
| 36 | # The name of the manual: | 36 | # The name of the manual: |
| 37 | VERSION=2.9 | 37 | VERSION=2.9 |
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 \ |