(info): Change order of arguments to makeinfo.

diff --git a/man/makefile.w32-in b/man/makefile.w32-in
index 09f314dbf473c8d14285c3cceb559d4fe8df507e..241d50be956b0618bb6aab9063dfa9eaccf3cd5e 100644 (file)
--- 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