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 TEXI2DVI = texi2dvi SHELL = /bin/sh INSTALL_INFO = install-info -MAKEINFO = makeinfo +MAKEINFO = makeinfo --force # The name of the manual: 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@ # The makeinfo program is part of the Texinfo distribution. -MAKEINFO = makeinfo +# Use --force so that it generates output even if there are errors. +MAKEINFO = makeinfo --force INFO_TARGETS = ../info/emacs ../info/emacs-xtra ../info/ccmode ../info/cl \ ../info/dired-x ../info/ediff ../info/forms ../info/gnus \ ../info/message ../info/sieve ../info/pgg ../info/emacs-mime \ |