1 files changed, 1 insertions, 0 deletions

diff --git a/.hgignore b/.hgignore
index 075d1138..f6368700 100644
--- a/.hgignore
+++ b/.hgignore
@@ -23,3 +23,4 @@ src/config.sml
 *.status
 
 demo/out/*.html
+demo/demo.*