Commit bd0a4764 authored by Robert P. Goldman's avatar Robert P. Goldman
Browse files

makeinfo works better with -o to specify output file, instead of stdout.

parent 5f4e4730
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -67,7 +67,7 @@ manual-html: asdf.texinfo
	makeinfo --html asdf.texinfo

asdf.html: asdf.texinfo
	makeinfo --html --no-split --no-headers asdf.texinfo > asdf.html
	makeinfo --html --no-split --no-headers -o asdf.html asdf.texinfo

asdf.info: asdf.texinfo
	makeinfo asdf.texinfo