diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2005-06-24 20:27:10 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2005-06-24 20:27:10 +0000 |
| commit | 64b051c8108cffc876f09278c1a51c513f071740 (patch) | |
| tree | 7b119f3f1b231ec5d238f647626197be456cc4e4 /lispref/makefile.w32-in | |
| parent | 7708742e64083a99d5e06a60bb5810aef09488fd (diff) | |
| download | emacs-64b051c8108cffc876f09278c1a51c513f071740.tar.gz | |
(MAKEINFO): Use --force.
Diffstat (limited to 'lispref/makefile.w32-in')
| -rw-r--r-- | lispref/makefile.w32-in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lispref/makefile.w32-in b/lispref/makefile.w32-in index 248330167b2..0865aa8df58 100644 --- 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. |