updated .hgignore to reflect to (almost) clean result of build_doc;
authorwenzelm
Tue, 28 Aug 2012 17:51:43 +0200
changeset 48973 fcd21f714996
parent 48972 196520d51afd
child 48982 efecf4b90cc8
updated .hgignore to reflect to (almost) clean result of build_doc;
.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/