Tiny fix in html documentation makefile.

darcs-hash:20071023135544-f2ef6-94c0fd3530cc78a99c13b814677b3ce2527c6813.gz

diff --git a/doc/Makefile b/doc/Makefile
index 39e2ecb539679f4eb094211770a8343385600725..9298015b9d5f1520ae6cd3829ff40f95348c89e2 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -16,7 +16,7 @@ PDF_FIGS = $(patsubst %.png,%.pdf,$(PNG_FIGS))
        makeinfo --no-headers --force -o $@ $<
 
 %.html: %.texinfo
-       makeinfo --html --no-split $< -o $@
+       makeinfo --html --no-split -o $@ $<
 #      texi2html --l2h $<
 # Fix texinfo HTML output
 #      perl -w -n -e 'if (/<div class="contents">/) {$$toc=1}' \