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

diff -r dc9f687acb18 -r d6abda0a027b lispref/Makefile.in
--- a/lispref/Makefile.in	Mon Dec 27 19:56:34 2004 +0000
+++ b/lispref/Makefile.in	Mon Dec 27 19:57:21 2004 +0000
@@ -31,7 +31,7 @@
 TEXI2DVI = texi2dvi
 SHELL = /bin/sh
 INSTALL_INFO = install-info
-MAKEINFO = makeinfo
+MAKEINFO = makeinfo --force
 
 # The name of the manual:
 VERSION=2.9