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