1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 8c7767f2..ca2133e9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 *.native
 *.byte
 src/_build/
+src/sail.docdir
 language/*.pdf
 language/*.uo
 language/*.ui