LATEX:=pdflatex
DOCUMENTS:=yesterday data_types why_functional theorems quickcheck redblack

.SECONDARY: pre.fmt

all: $(addsuffix .pdf,$(DOCUMENTS))

%.pdf: %.tex pre.fmt
	$(LATEX) $<
	$(LATEX) $<

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

clean:
	$(RM) -v *.fmt *.aux *.log *.out *.toc *.pdf