diff --git a/makefile-templates/Makefile.lecture b/makefile-templates/Makefile.lecture index a22063c..22b41b5 100644 --- a/makefile-templates/Makefile.lecture +++ b/makefile-templates/Makefile.lecture @@ -172,7 +172,7 @@ # # Files to be cleaned by the various "clean" targets. The "standard" values # are currently: -# TIDY_FILES=*.tmp *.out *.log *.nav *.toc *.snm *.head *.dvi \ +# TIDY_FILES+=*.tmp *.out *.log *.nav *.toc *.snm *.head *.dvi *.vrb _minted* \ # slides-combined.pdf slides-notes.pdf # CLEAN_FILES=*.aux *.pdf #