diff options
| author | Jason Rumney <jasonr@gnu.org> | 2004-10-19 21:34:36 +0000 |
|---|---|---|
| committer | Jason Rumney <jasonr@gnu.org> | 2004-10-19 21:34:36 +0000 |
| commit | 2de2a3389efee58760dcdc0cddfcb5a61bc48e1f (patch) | |
| tree | ab84990d0ee543726c3df62db8492e24ee9fce81 /man | |
| parent | 950090be0679d07beafa4eeb5d65b8e92be08a36 (diff) | |
| download | emacs-2de2a3389efee58760dcdc0cddfcb5a61bc48e1f.tar.gz | |
(info): Change order of arguments to makeinfo.
Diffstat (limited to 'man')
| -rw-r--r-- | man/makefile.w32-in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/makefile.w32-in b/man/makefile.w32-in index 09f314dbf47..241d50be956 100644 --- a/man/makefile.w32-in +++ b/man/makefile.w32-in @@ -125,9 +125,11 @@ dvi: $(DVI_TARGETS) # The following target uses an explicit -o switch to work around # the @setfilename directive in info.texi, which is required for # the Texinfo distribution. +# Some Windows ports of makeinfo seem to require -o to come before the +# texi filename, contrary to GNU standards. $(infodir)/info: $(INFOSOURCES) - $(MAKEINFO) --no-split info.texi -o $@ + $(MAKEINFO) --no-split -o $@ info.texi info.dvi: $(INFOSOURCES) $(ENVADD) $(TEXI2DVI) $(srcdir)/info.texi |