diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..9539d3b --- /dev/null +++ b/makefile | |||
@@ -0,0 +1,19 @@ | |||
1 | DOCNAME=presentation | ||
2 | PDFLATEX="pdflatex -interaction=nonstopmode" | ||
3 | |||
4 | .PHONY: $(DOCNAME).pdf all clean | ||
5 | |||
6 | all: $(DOCNAME).pdf | ||
7 | |||
8 | $(DOCNAME).pdf: $(DOCNAME).tex | ||
9 | latexmk -pdf -pdflatex=$(PDFLATEX) -use-make $(DOCNAME).tex | ||
10 | |||
11 | watch: $(DOCNAME).tex | ||
12 | latexmk -pvc -pdf -pdflatex=$(PDFLATEX) -use-make $(DOCNAME).tex | ||
13 | |||
14 | clean: | ||
15 | latexmk -CA | ||
16 | |||
17 | install: | ||
18 | cp $(DOCNAME).pdf ${out}/ | ||
19 | |||