changeset 63748:8bc70dd17ac2

(MAKEINFO): Use --force.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 24 Jun 2005 20:27:10 +0000
parents f07f61322989
children 04f6d5752339
files lispref/makefile.w32-in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lispref/makefile.w32-in	Fri Jun 24 20:23:30 2005 +0000
+++ b/lispref/makefile.w32-in	Fri Jun 24 20:27:10 2005 +0000
@@ -29,7 +29,7 @@
 # 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.