diff --git a/doc/tutorial/Makefile b/doc/tutorial/Makefile index 4de304e87..15da98f56 100644 --- a/doc/tutorial/Makefile +++ b/doc/tutorial/Makefile @@ -2,18 +2,19 @@ TEXI2HTML = texi2html TEXI2PDF = texi2dvi --pdf EPSTOPDF = epstopdf TGIF = tgif +CONVERT = convert CSS = --css-include=tutorial.css SPLIT = --split section -TGIF_SOURCES = helpers.obj +TGIF_SOURCES = helpers.obj TGIF_EPS = ${TGIF_SOURCES:.obj=.eps} all: images html split-html pdf images: - cd figures/; $(TGIF) -print -png $(TGIF_SOURCES) cd figures/; $(TGIF) -print -eps $(TGIF_SOURCES) - cd figures/; $(EPSTOPDF) $(TGIF_EPS) + cd figures/; $(foreach FILE,$(TGIF_EPS),$(CONVERT) $(FILE) ${FILE:.eps=.png};) + cd figures/; $(foreach FILE,$(TGIF_EPS),$(EPSTOPDF) $(FILE);) html: images $(TEXI2HTML) ${CSS} tutorial.texi @@ -23,3 +24,6 @@ split-html: images pdf: images $(TEXI2PDF) tutorial.texi + +clean: + rm -rf tutorial.aux tutorial.cp tutorial.cps tutorial.fn tutorial.ky tutorial.pg tutorial.tp tutorial.vr tutorial.toc tutorial.log tutorial.pdf tutorial.html tutorial/