diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..ab5803b --- /dev/null +++ b/Makefile @@ -0,0 +1,21 @@ +TEX := $(wildcard *.tex) +NAMES := $(TEX:.tex=.pdf) + +# Target that matches all possible generated PDFs +all: $(NAMES) +$(NAMES): $(%:.pdf=.tex) + +# Rule that builds the tex file in a temp directory and copies it +%.pdf: %.tex + $(eval TMP := $(shell mktemp -d --suffix=-sts-build)) + @cp -r * $(TMP)/ + cd $(TMP)/; \ + xelatex $<; + @cp $(TMP)/$@ $@ + @rm -rf $(TMP) + +# Rule that cleans all previous content +clean: + @rm *.pdf + @rm -r /tmp/*-sts-build +.PHONY: all clean
\ No newline at end of file |