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