diff -r 7f3760f39bdc -r f8845fc8f38d src/Doc/isac/jrocnik/CLEANUP
--- a/src/Doc/isac/jrocnik/CLEANUP	Mon Sep 16 12:27:20 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-rm *.dvi
-rm *.bbl
-rm *.blg
-rm *.aux
-rm *.log
-rm *.nav
-rm *.out
-rm *.snm
-rm *.toc
-rm *~