diff --git a/.gitignore b/.gitignore
index 5c3ab65..c94539b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,5 @@
 result
 .direnv
-doc/index.html
 
 # Result of bud commands
 vm