diff options
Diffstat (limited to 'vorlesungen/punktgruppen/Makefile')
-rw-r--r-- | vorlesungen/punktgruppen/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/vorlesungen/punktgruppen/Makefile b/vorlesungen/punktgruppen/Makefile index eb4eed6..c155b04 100644 --- a/vorlesungen/punktgruppen/Makefile +++ b/vorlesungen/punktgruppen/Makefile @@ -1,13 +1,18 @@ TEX=xelatex TEXARGS=--output-directory=build --halt-on-error -all: script.pdf media +all: slides.pdf script.pdf media .PHONY: clean clean: @rm -rfv build # @rm -rfv media +slides.pdf: slides.tex + mkdir -p build + $(TEX) $(TEXARGS) slides.tex + cp build/slides.pdf . + script.pdf: script.tex mkdir -p build $(TEX) $(TEXARGS) script.tex |