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 | a19aaf80d89da91ecd785f25b074a23a07be6d74 (patch) | |
| tree | d4180233e6245a78c0bef0bb6bdf4067b37f075d | |
| parent | 2e2698e0f258595cd5b44e7da1c309c83f61fc8d (diff) | |
| download | emacs-a19aaf80d89da91ecd785f25b074a23a07be6d74.tar.gz | |
(MAKEINFO): Use --force.
| -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. |