diff --git a/.gitignore b/.gitignore
index 6a0bf36496..b16f9b2ad5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
+# ignore html dir for github pages
+/html
+
 *.so
 *.[oa]
 *.out