From 2de2a3389efee58760dcdc0cddfcb5a61bc48e1f Mon Sep 17 00:00:00 2001
From: Jason Rumney <jasonr@gnu.org>
Date: Tue, 19 Oct 2004 21:34:36 +0000
Subject: [PATCH] (info): Change order of arguments to makeinfo.

---
 man/makefile.w32-in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
2.39.5