From 7186309ba1eff629e883d149b5f684cca34c720d Mon Sep 17 00:00:00 2001
From: Jan Philipp Timme <jan.philipp@timme.it>
Date: Thu, 13 Sep 2018 14:40:13 +0200
Subject: [PATCH] Fix broken make clean target

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

diff --git a/Makefile b/Makefile
index 8fe5c17..ac9e733 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,7 @@ render_srv_doc:
 	pdflatex -output-directory build ${SRV_DOC_NAME}.tex
 
 clean:
-	cd build; rm -v *.aux *.bbl *.blg *.log *.out *.toc
+	cd build; rm -v *.aux *.bbl *.blg *.log *.out *.toc *.synctex.gz; exit 0;
 
 cleanall:
 	rm -rfv build; mkdir build