diff -r ee9e63c437c4 -r 8c44c5919691 .hgignore
--- a/.hgignore	Sun Jul 09 20:15:14 2017 +0200
+++ b/.hgignore	Tue Jul 11 20:45:32 2017 +0200
@@ -1,6 +1,7 @@
 syntax:regexp
 ^nbproject/.*$
 ^build/.*$
+^docs/src/build/.*$
 core$
 ^.c?project$
 ^.settings/.*$