From 7a0188d904ea8d606bfde65cb682314d8d93de6e Mon Sep 17 00:00:00 2001
From: Jonathan Hodgson <git@jonathanh.co.uk>
Date: Mon, 4 Jul 2022 19:50:08 +0100
Subject: [PATCH] Adds makefile

---
 Makefile | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..7c69e70
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,14 @@
+.PHONY: clean
+
+%.pdf: %.tex
+	latexmk -pdf $<
+	latexmk -c $<
+
+%.png: %.pdf
+	convert -density 500 $< $@
+
+clean:
+	rm *.log *.aux || true
+
+clean-all: clean
+	rm *.pdf *.png || true