(info): Change order of arguments to makeinfo.
authorJason Rumney <jasonr@gnu.org>
Tue, 19 Oct 2004 21:34:36 +0000 (21:34 +0000)
committerJason Rumney <jasonr@gnu.org>
Tue, 19 Oct 2004 21:34:36 +0000 (21:34 +0000)
commit2de2a3389efee58760dcdc0cddfcb5a61bc48e1f
treeab84990d0ee543726c3df62db8492e24ee9fce81
parent950090be0679d07beafa4eeb5d65b8e92be08a36
(info): Change order of arguments to makeinfo.
man/makefile.w32-in