diff -r de3fcbb6773e -r a27c839d043b documentation/Makefile
--- a/documentation/Makefile	Wed Nov 05 15:05:40 2008 +0000
+++ b/documentation/Makefile	Wed Nov 05 15:13:55 2008 +0000
@@ -48,14 +48,12 @@
 
 index:
 	makeindex $(FILE)
-	makeindex $(FILE).glo -s nomencl.ist -o $(FILE).gls
+	makeindex $(FILE).nlo -s nomencl.ist -o $(FILE).nls
 
 clean:
 	@rm -f \
 		$(FILE).aux \
 		$(FILE).dvi \
-		$(FILE).glo \
-		$(FILE).gls \
 		$(FILE).idx \
 		$(FILE).ilg \
 		$(FILE).ind \
@@ -64,6 +62,7 @@
 		$(FILE).lol \
 		$(FILE).lot \
 		$(FILE).nlo \
+		$(FILE).nls \
 		$(FILE).out \
 		$(FILE).pdf \
 		$(FILE).toc \