diff --git a/docs/.gitignore b/docs/.gitignore
index 7ce97720b..85490c904 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -7,3 +7,4 @@ latex
 text
 man
 html/objects.inv
+html/.buildinfo