diff --git a/doc/.gitignore b/doc/.gitignore
index 334f513..ff8f381 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1 +1,2 @@
 /pdf/
+/html/