diff -r 7d3996955804 -r 3dbdb7392d7b documentation/Makefile
--- a/documentation/Makefile	Wed Nov 05 10:32:14 2008 +0000
+++ b/documentation/Makefile	Wed Nov 05 10:36:18 2008 +0000
@@ -51,11 +51,23 @@
 	makeindex $(FILE).glo -s nomencl.ist -o $(FILE).gls
 
 clean:
-	@rm -f $(FILE).aux $(FILE).dvi $(FILE).idx \
-		$(FILE).ilg $(FILE).ind $(FILE).log \
-		$(FILE).out $(FILE).pdf $(FILE).ps \
-		$(FILE).toc $(FILE).lot $(FILE).lof \
-		$(FILE).lol $(FILE).glo $(FILE).gls \
-		images/*.bak *~
+	@rm -f \
+		$(FILE).aux \
+		$(FILE).dvi \
+		$(FILE).glo \
+		$(FILE).gls \
+		$(FILE).idx \
+		$(FILE).ilg \
+		$(FILE).ind \
+		$(FILE).lof \
+		$(FILE).log \
+		$(FILE).lol \
+		$(FILE).lot \
+		$(FILE).nlo \
+		$(FILE).out \
+		$(FILE).pdf \
+		$(FILE).toc \
+		*~ \
+		images/*.bak
 
 #------------------------------------------------------------------------------