# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1098221676 0
# Node ID 61dd8eea5548f08c28044bd3983f539c372f0132
# Parent  daa7d844014b2828763363fffdf10681a616684c
(info): Change order of arguments to makeinfo.

diff -r daa7d844014b -r 61dd8eea5548 man/makefile.w32-in
--- a/man/makefile.w32-in	Tue Oct 19 19:09:37 2004 +0000
+++ b/man/makefile.w32-in	Tue Oct 19 21:34:36 2004 +0000
@@ -125,9 +125,11 @@
 # 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