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)