From 003568dc2d5e7315e1a0f1c081cea950174057ec Mon Sep 17 00:00:00 2001
From: Valentin Brandl <vbrandl@riseup.net>
Date: Mon, 28 Oct 2019 11:46:21 +0100
Subject: [PATCH] Add simple Makefile

---
 work/Makefile | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 work/Makefile

diff --git a/work/Makefile b/work/Makefile
new file mode 100644
index 0000000..36daea3
--- /dev/null
+++ b/work/Makefile
@@ -0,0 +1,10 @@
+.PHONY: clean build
+
+build: 01paper.pdf
+
+%.pdf: %.tex
+	latexmk -pdf $< -f
+
+clean:
+	rm -f *.acn *.acr *.alg *.aux *.bbl *.blg *.clg *.cyg *.cyi *.fdb_latexmk \
+		*.fls *.glg *.glo *.gls *.ist *.log *.out *.pdf *.slg *.syg *.syi