diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..c50910f --- /dev/null +++ b/Makefile @@ -0,0 +1,20 @@ +TEX:=pdflatex +TEXOPTS:= +DOC:=werkstuk +DEP:=$(filter-out voorstel.tex,$(wildcard *.tex)) +PDF:=$(addsuffix .pdf,$(DOC)) + +.SECONDARY: $(addsuffix .fmt,$(DOC)) + +all: $(PDF) + +%.pdf: %.tex %.fmt $(DEP) + $(TEX) $(TEXOPTS) $(basename $@) + $(TEX) $(TEXOPTS) $(basename $@) + +%.fmt: preamble.tex + $(TEX) -ini -jobname="$(basename $@)" "&$(TEX) $<\dump" + +clean: + $(RM) -v $(foreach d,$(DOC),$(addprefix $(d).,aux bbl blg dvi fdb_latexmk fls fmt log nav out toc pdf snm vrb)) + |