ignore aux stuff in doc-src;

--- a/.hgignore	Mon Dec 01 19:42:26 2008 +0100
+++ b/.hgignore	Mon Dec 01 22:00:38 2008 +0100
@@ -1,7 +1,6 @@
 syntax: glob
 
 *~
-*.dvi
 *.class
 *.jar
 .DS_Store
@@ -11,4 +10,15 @@
 
 ^heaps/
 ^browser_info/
+^doc-src/.*\.aux
+^doc-src/.*\.bbl
+^doc-src/.*\.blg
+^doc-src/.*\.dvi
+^doc-src/.*\.idx
+^doc-src/.*\.ind
+^doc-src/.*\.log
+^doc-src/.*\.out
+^doc-src/.*\.rai
+^doc-src/.*\.rao
+^doc-src/.*\.toc