Update

[linuxnijmegen-make.git] / Makefile

diff --git a/Makefile b/Makefile
index f62a2c6..94ef4a3 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,19 @@
-DOCUMENTS:=make
-PDFLATEXFLAGS:=-halt-on-error
-PDFLATEX:=pdflatex $(PDFLATEXFLAGS)
+DOC:=make
+LATEX?=pdflatex
+LATEXFLAGS?=-file-line-error -halt-on-error -no-shell-escape
+TEXS:=$(wildcard *.tex)
 
-all: $(addsuffix .pdf,$(DOCUMENTS))
+.PHONY: all clean
+.SECONDARY: $(DOC).fmt
 
-%.pdf: %.tex
-       $(PDFLATEX) $<
-       $(PDFLATEX) $<
+all: $(DOC).pdf
+
+%.fmt: preamble.tex
+       $(LATEX) $(LATEXFLAGS) -ini -jobname="$(basename $@)" "&$(LATEX) $<\dump"
+
+%.pdf: %.tex %.fmt $(TEXS)
+       $(LATEX) $(LATEXFLAGS) $<
+       $(LATEX) $(LATEXFLAGS) $<
 
 clean:
-       $(RM) -v $(addprefix $(DOCUMENTS).,pdf log aux nav toc out snm)
+       $(RM) $(addprefix $(DOC).,aux fmt log nav out pdf snm toc vrb)