diff man/makefile.w32-in @ 57611:61dd8eea5548

(info): Change order of arguments to makeinfo.
author Jason Rumney <jasonr@gnu.org>
date Tue, 19 Oct 2004 21:34:36 +0000
parents cb3f6b4cac09
children 3ff4d133e91c f3ec05478165
line wrap: on
line diff
--- 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