From 453471eb88e33b5cec9c8064566319efa9be8d3d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Mon, 17 Jan 2022 17:06:18 +0100
Subject: [PATCH] add makefile

---
 doc/environments/groupthm/Makefile | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 doc/environments/groupthm/Makefile

diff --git a/doc/environments/groupthm/Makefile b/doc/environments/groupthm/Makefile
new file mode 100644
index 0000000..0e9ec61
--- /dev/null
+++ b/doc/environments/groupthm/Makefile
@@ -0,0 +1,12 @@
+all: clean pdf
+
+pdf:
+	pdflatex groupthm.dtx
+
+clean:
+	latexmk -c groupthm.dtx
+	rm -f groupthm.hd
+	rm -f groupthm.glo
+	rm -f groupthm.pdf
+
+.PHONY: pdf clean