From b4b1f55989bffddc544096ebef0f46fdf82f9c4c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9verin=20Lemaignan?=
 <severin.lemaignan@plymouth.ac.uk>
Date: Thu, 25 Feb 2016 09:59:02 +0000
Subject: [PATCH] Ensure 'make clean' clean well

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index af80fa3..856d66b 100644
--- a/Makefile
+++ b/Makefile
@@ -29,7 +29,8 @@ paper: $(TARGET) $(SVG:.svg=.pdf) $(DOT:.dot=.pdf)
 	TEXINPUTS=:./style $(LATEX) --shell-escape $(TARGET)
 
 clean:
-	rm -f *.spl *.idx *.aux *.log *.snm *.out *.toc *.nav *intermediate *~ *.glo *.ist *.bbl *.blg $(SVG:.svg=.pdf) $(DOT:.dot=.svg) $(DOT:.dot=.pdf)
+	rm -f *.vrb *.spl *.idx *.aux *.log *.snm *.out *.toc *.nav *intermediate *~ *.glo *.ist *.bbl *.blg $(SVG:.svg=.pdf) $(DOT:.dot=.svg) $(DOT:.dot=.pdf)
+	rm -rf _minted*
 
 distclean: clean
 	rm -f $(TARGET:.tex=.pdf)