# HG changeset patch # User Eli Zaretskii # Date 1119644830 0 # Node ID 8bc70dd17ac2049e6cbecd1b9215b4ef6d10e13f # Parent f07f61322989a4f4a673a11f6ad2109320940472 (MAKEINFO): Use --force. diff -r f07f61322989 -r 8bc70dd17ac2 lispref/makefile.w32-in --- 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.