# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1104177394 0
# Node ID dc9f687acb18f43ac23e0ce96f015a51bd7e6874
# Parent  9ce00b3727356fe3615db79510177272ab149fc3
(MAKEINFO): Specify --force.

diff -r 9ce00b372735 -r dc9f687acb18 man/Makefile.in
--- a/man/Makefile.in	Mon Dec 27 19:55:14 2004 +0000
+++ b/man/Makefile.in	Mon Dec 27 19:56:34 2004 +0000
@@ -31,7 +31,8 @@
 
 
 # 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 \