--- a/.hgignore Fri Jul 03 16:36:02 2009 +0200
+++ b/.hgignore Fri Jul 03 20:37:14 2009 +0200
@@ -17,9 +17,11 @@
^doc-src/.*\.dvi
^doc-src/.*\.idx
^doc-src/.*\.ind
+^doc-src/.*\.lof
^doc-src/.*\.log
^doc-src/.*\.out
^doc-src/.*\.rai
^doc-src/.*\.rao
^doc-src/.*\.toc
+