From ae59df68550291068e979ce2d2d306ad67429f33 Mon Sep 17 00:00:00 2001
From: Florian Knoch <florian.knoch@stud.uni-bamberg.de>
Date: Sat, 23 Nov 2024 21:11:04 +0100
Subject: [PATCH] Remove more aux files on make clean

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

diff --git a/Makefile b/Makefile
index 3f7b3ee..fd004a3 100644
--- a/Makefile
+++ b/Makefile
@@ -10,7 +10,8 @@ clean:
 	@echo Cleaning up temporary files.
 	@rm -rf public/*
 	@rm -rf temp/*
-	@rm -f main-{script,exercises,solutions}.{aux,loc,log,out,pdf,soc,toc}
+	@rm -f main-{script,exercises,solutions}.{aux,loc,log,out,pdf,soc,toc,synctex.gz}
+	@rm -f exercises/*/*.{aux,loc,log,out,pdf,soc,toc,synctex.gz}
 
 # Compile listings (only needed when listings have changed)
 listings: listings/**/*