.hgignore

--- a/.hgignore	Tue Aug 28 17:49:02 2012 +0200
+++ b/.hgignore	Tue Aug 28 17:51:43 2012 +0200
@@ -13,14 +13,8 @@
 ^contrib
 ^heaps/
 ^browser_info/
-^doc-src/.*\.aux
-^doc-src/.*\.bbl
-^doc-src/.*\.blg
-^doc-src/.*\.dvi
-^doc-src/.*\.idx
-^doc-src/.*\.ind
-^doc-src/.*\.lof
-^doc-src/.*\.log
-^doc-src/.*\.out
-^doc-src/.*\.toc
+^doc/.*\.dvi
+^doc/.*\.eps
+^doc/.*\.pdf
+^doc/.*\.ps
 ^src/Tools/jEdit/dist/