diff options
Diffstat (limited to 'pdf/Makefile')
-rw-r--r-- | pdf/Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pdf/Makefile b/pdf/Makefile new file mode 100644 index 0000000..8df3d66 --- /dev/null +++ b/pdf/Makefile @@ -0,0 +1,23 @@ +FILES = doc +TEX = $(FILES:%=%.tex) +PDF = $(FILES:%=%.pdf) + +# Debug flags +ifdef DEBUG +LATEXMK_FLAGS += -verbose +else +LATEXMK_FLAGS += -quiet +endif + +all pdf: $(PDF) + +%.pdf: %.tex + latexmk $(LATEXMK_FLAGS) -pdf -f $< + +mostlyclean: + latexmk $(LATEXMK_FLAGS) -c + +clean: + latexmk $(LATEXMK_FLAGS) -C + +.PHONY: all pdf mostlyclean clean |