diff -r 9a4a5e9aa40c -r 9edbe472941d documentation/Makefile
--- a/documentation/Makefile	Wed Nov 05 13:20:21 2008 +0000
+++ b/documentation/Makefile	Wed Nov 05 13:41:56 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 \