Index: .gitignore
===================================================================
diff -u -rb93c9ea734481269f9c7423d15d42d6bf8e2f85a -r1e42fa562ee87c4f7e4e0f7e6e6a65aa6ac5fa8e
--- .gitignore	(.../.gitignore)	(revision b93c9ea734481269f9c7423d15d42d6bf8e2f85a)
+++ .gitignore	(.../.gitignore)	(revision 1e42fa562ee87c4f7e4e0f7e6e6a65aa6ac5fa8e)
@@ -7,6 +7,7 @@
 .cache
 tags
 tags.*
+html/
 
 
 *.log