# HG changeset patch
# User wenzelm
# Date 1346169103 -7200
# Node ID fcd21f714996ebb158a8e25ea8bd2da77a589a8c
# Parent  196520d51afd6a8da48dfc0a70ffc55dde8bdfa0
updated .hgignore to reflect to (almost) clean result of build_doc;

diff -r 196520d51afd -r fcd21f714996 .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/