From 63c02e13f99c157ec911ac97f34efa6e89715153 Mon Sep 17 00:00:00 2001
From: Jonathan Hodgson <git@jonathanh.co.uk>
Date: Sun, 7 Jun 2020 00:54:20 +0100
Subject: [PATCH] Modifies makefile

Makes clean also delete _minted* directories

Stops make from stopping early if files are not there when cleaning
---
 Makefile | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index 2761e99..217efcb 100644
--- a/Makefile
+++ b/Makefile
@@ -9,10 +9,6 @@ with-notes.pdf: with-notes.latex
 with-notes.latex: main.latex $(GRAPHICS_FILES)
 	sed 's/\%showNotes\%//' main.latex > with-notes.latex
 
-clean:
-	rm *.aux *.log *.out *.toc *.nav *.snm *.pdf *.vrb
-	rm with-notes.latex
-
 auto-images/auto-xkcd-%.png:
 	mkdir -p auto-images
 	curl https://xkcd.com/$*/info.0.json 2> /dev/null | jq '.img' | sed 's/.png/_2x.png/g' | xargs curl -s -o $@
@@ -24,7 +20,13 @@ auto-images/auto-shell-%.svg: shell-output/%.out
 	mkdir -p auto-images
 	cat shell-output/$*.out | bin/ansi2svg > $@
 
+clean:
+	- rm *.aux *.log *.out *.toc *.nav *.snm *.pdf *.vrb
+	-rm -rf _minted-main
+	-rm -rf _minted-with-notes
+	- rm with-notes.latex
+
 clean-images:
-	rm -rf auto-images/
+	- rm -rf auto-images/
 
 clean-all: clean clean-images