diff -r f6222c3e311a -r bb3215fe5c65 documentation/Makefile
--- a/documentation/Makefile	Wed Nov 05 13:48:14 2008 +0000
+++ b/documentation/Makefile	Wed Nov 05 15:01:04 2008 +0000
@@ -62,6 +62,7 @@
 		$(FILE).lol \
 		$(FILE).lot \
 		$(FILE).nlo \
+		$(FILE).nls \
 		$(FILE).out \
 		$(FILE).pdf \
 		$(FILE).toc \