+.PHONY: all
+.SECONDARY: $(DOC).fmt
+
+all: $(DOC).dvi
+
+%.fmt: preamble.tex
+ $(LATEX) $(LATEXFLAGS) -ini -jobname="$(basename $@)" "&$(LATEX) $<\dump"
+
+%.ps.gz: %.dvi
+ dvips -o- $< | gzip -9 > $@
+
+%.dvi: %.tex %.fmt $(TEXS)
+ $(LATEX) $(LATEXFLAGS) $< | tee $(basename $<).mlog
+ grep -qF '(rerunfilecheck)' $(basename $<).mlog &&\
+ $(LATEX) $(LATEXFLAGS) $< || true