diff --git a/Makefile b/Makefile
index 15ef8d7..e9cbebc 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,7 @@ clean:
 	@rm -rf temp/*
 	@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}
+	@rm -f install-verification/*.{aux,loc,log,out,pdf,soc,toc,synctex.gz}
 
 # Compile listings (only needed when listings have changed)
 listings: listings/**/*