# HG changeset patch
# User schnalke@localhost.localdomain
# Date 1213705043 -7200
# Node ID fec6754e142980e996a2349a093afe3cc072b3b4
# Parent  f7bc5299e59bd3966627f4a870a8795646aa7430
improved make clean

diff -r f7bc5299e59b -r fec6754e1429 Makefile
--- a/Makefile	Tue Jun 17 14:16:55 2008 +0200
+++ b/Makefile	Tue Jun 17 14:17:23 2008 +0200
@@ -20,7 +20,7 @@
 	@evince ${OBJ} &
 
 clean:
-	rm -f *.aux *.toc
+	rm -f *.aux *.toc *.lof
 
 distclean: clean
 	rm -f $(OBJ)