Pygments for code listings

2022-02-27 14:17:06 +01:00
parent b798424712
commit adc5bbdde5
2 changed files with 8 additions and 1 deletions
--- a/6
+++ b/6
@ -32,8 +32,12 @@ languagetool:
 	languagetool <(cat $(SRC) | ./scripts/detex.py)

 .PHONY: clean
-clean: clean_dot
+clean: clean_dot clean_tex
+
+.PHONY: clean_tex
+clean_tex:
 	latexmk -C
+	rm -rf ./_minted-report/

 .PHONY: clean_dot
 clean_dot: