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