(MAKEINFO): Use --force.

diff --git a/lispref/makefile.w32-in b/lispref/makefile.w32-in
index 248330167b2e6d7803c40299bf0199f114d4efae..0865aa8df5837cc0f288789a761202830b349dca 100644 (file)
--- a/lispref/makefile.w32-in
+++ b/lispref/makefile.w32-in
@@ -29,7 +29,7 @@ infodir = $(srcdir)/../info
 # TEX=platex
 TEX=tex
 INSTALL_INFO = install-info
-MAKEINFO = makeinfo
+MAKEINFO = makeinfo --force
 
 # The environment variable and its value to add $(srcdir) to the path
 # searched for TeX input files.