diff -r 8291320ffe74 -r b034e90bbf3e .hgignore
--- a/.hgignore	Tue Feb 19 21:39:57 2013 +0200
+++ b/.hgignore	Tue Feb 19 21:42:40 2013 +0200
@@ -4,3 +4,4 @@
 re:^_
 re:~$
 
+re:^docs/aux_build/html/