doc/manual/Makefile
changeset 5514 3bf9272d9eaf
parent 5434 81a3858041a8
child 5515 6e8f48fb0372
--- a/doc/manual/Makefile	Fri Nov 13 16:45:28 2009 +0100
+++ b/doc/manual/Makefile	Fri Nov 13 09:14:32 2009 -0800
@@ -64,7 +64,7 @@
 	$(TEXI2HTML) ${CSS} manual.texi
 
 manual/manual.html: version $(IMAGES) $(CHAPTERS)
-	$(TEXI2HTML) ${CSS} ${SPLIT} manual.texi
+	$(TEXI2HTML) ${CSS} ${SPLIT} --output manual manual.texi
 
 figures-clean:
 	rm -rf $(IMAGES)