From 4438ca952dd5e0121d7094f275698672f49e2e8b Mon Sep 17 00:00:00 2001
From: Steve Schmerler <git@elcorto.com>
Date: Sun, 4 Feb 2024 17:54:40 +0100
Subject: [PATCH] Deal with tcolorbox artifact files (Makefile, ignore)

---
 .gitignore      | 1 +
 theory/Makefile | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index d207bca..0408117 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,5 +16,6 @@
 *.vrb
 *.run.xml
 *.pyg
+*.listing
 __pycache__
 _minted-*
diff --git a/theory/Makefile b/theory/Makefile
index b456c50..ddd48d6 100644
--- a/theory/Makefile
+++ b/theory/Makefile
@@ -14,4 +14,4 @@ allclean: _restclean
 
 _restclean:
 	rm -rf _minted-*
-	rm -f *.bak *.bbl *.run.xml *.nav *.snm *.vrb *.synctex.*
+	rm -f *.bak *.bbl *.run.xml *.nav *.snm *.vrb *.synctex.* *.listing *-SAVE-ERROR