From df8cf4ea0e23556e583a10bdd87f4254efe35125 Mon Sep 17 00:00:00 2001
From: Jan Philipp Timme <jan.philipp@timme.it>
Date: Sat, 10 Nov 2018 19:03:51 +0100
Subject: [PATCH] Extend make clean target

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

diff --git a/Makefile b/Makefile
index 14af533..ffb741a 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ render:
 	cp build/${MA_KO_NAME}.pdf release/${MA_KO_NAME_FINAL}.pdf
 
 clean:
-	cd build; rm -v *.aux *.bbl *.blg *.log *.out *.toc *.synctex.gz; cd ..; exit 0;
+	cd build; rm -v *.aux *.bbl *.blg *.log *.out *.toc *.synctex.gz *.nav *.snm *.vrb; cd ..; exit 0;
 
 cleanall:
 	rm -rfv build; mkdir build