LATEX:=pdflatex
DOCUMENT:=report
GRAPHS:=toy.png toy2.png toy3.png

.PHONY: all clean
.SECONDARY: $(DOCUMENT).fmt $(GRAPHS)

all: $(DOCUMENT).pdf

%.pdf: %.tex %.fmt implementation.tex results.tex $(GRAPHS)
	$(LATEX) $<
	$(LATEX) $<

%.png: %.dot
	dot -Tpng $< > $@

%.fmt: pre.tex
	$(LATEX) -ini -shell-escape -jobname="$(basename $@)" "&$(LATEX) $<\dump"

clean:
	$(RM) -rv $(addprefix $(DOCUMENT).,fmt log aux dvi pdf) *.png