diff --git a/.gitignore b/.gitignore
index 8794f3b..6bf4d8f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 *.agdai
 /_build/
-/html/.direnv/
+/html/
+.direnv/