1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 37ff16e..5692c12 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@ realpath/realpath
 node_modules
 *fastopt*
 *fullopt*
+examples/dotty-example/_site