From 23f19cd20132874d32c3f896f7f4543c738ff372 Mon Sep 17 00:00:00 2001 From: Valentin Ochs Date: Fri, 1 Sep 2017 16:23:42 +0200 Subject: [PATCH] Added makefile --- Makefile | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..1a68f52 --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ +PDF = Satzung.pdf +TEX = $(PDF:%.pdf=%.tex) + +all: $(PDF) + +$(PDF): %.pdf: %.tex + pdflatex $< + +clean: + rm -f *.log *.aux + +distclean: clean + rm -f $(PDF) + +.PHONY: all clean