diff -r a48bf0d3a790 -r 55e2f7712e87 .hgignore
--- a/.hgignore	Tue Oct 28 18:54:30 2008 +0100
+++ b/.hgignore	Thu Oct 30 17:13:33 2008 +0000
@@ -15,3 +15,4 @@
 (.*/)?\#[^/]*\#$
 ^html/.*
 ^gen-images/.*
+^gen-dox/.*