Deal with tcolorbox artifact files (Makefile, ignore)

hzdr · Feb 4, 2024 · 4438ca9 · 4438ca9
1 parent 553c2b1
commit 4438ca9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -16,5 +16,6 @@
 *.vrb
 *.run.xml
 *.pyg
+*.listing
 __pycache__
 _minted-*
diff --git 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