diff --git a/documentation/.gitignore b/documentation/.gitignore
index f3c7a7c5da6..6ec0c70adba 100644
--- a/documentation/.gitignore
+++ b/documentation/.gitignore
@@ -1 +1,2 @@
 Makefile
+html