1 files changed, 1 insertions, 1 deletions

diff --git a/esempi/Makefile b/esempi/Makefile
index fdbc46d..6eebf07 100644
--- a/esempi/Makefile
+++ b/esempi/Makefile
@@ -9,7 +9,7 @@ pdf:
 	done
 
 clean:
-	rm *.aux *.log *.out *.toc || true
+	rm *.aux *.log *.toc
 
 cleanall: clean
 	rm *.pdf