From 5bf0c39cc7df74538caf1b7216e427d25dba6d06 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Sun, 23 Jan 2022 01:27:53 +0100
Subject: [PATCH] better makefile

---
 doc/environments/groupthm/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/environments/groupthm/Makefile b/doc/environments/groupthm/Makefile
index 7c7ee70..656b681 100644
--- a/doc/environments/groupthm/Makefile
+++ b/doc/environments/groupthm/Makefile
@@ -16,5 +16,6 @@ clean: clean-sty
 
 clean-sty:
 	rm -f groupthm.sty
+	rm -f groupthm.tdo
 
 .PHONY: pdf clean