diff --git a/theory/.latexmkrc b/theory/.latexmkrc
index ea34ea8..e5c82dc 100644
--- a/theory/.latexmkrc
+++ b/theory/.latexmkrc
@@ -7,3 +7,5 @@ $pdf_mode = 1;
 # --shell-escape b/c of minted package
 # xelatex b/c of font stuff
 $pdflatex = "xelatex -interaction=errorstopmode -file-line-error -shell-escape %O %S";
+
+push @generated_exts, "bak", "bbl", "run.xml", "nav", "snm", "vrb", "synctex.*", "listing"
diff --git a/theory/Makefile b/theory/Makefile
index ddd48d6..e219773 100644
--- a/theory/Makefile
+++ b/theory/Makefile
@@ -12,6 +12,7 @@ clean: _restclean
 allclean: _restclean
 	latexmk -C
 
+# Seems like latexmk's "push @generated_exts" doesn't treat directories.
 _restclean:
 	rm -rf _minted-*
-	rm -f *.bak *.bbl *.run.xml *.nav *.snm *.vrb *.synctex.* *.listing *-SAVE-ERROR
+	rm -f *-SAVE-ERROR