1 files changed, 5 insertions, 1 deletions

diff --git a/.hgignore b/.hgignore
index f56e5932..0c53c3a2 100644
--- a/.hgignore
+++ b/.hgignore
@@ -12,8 +12,12 @@ src/urweb.mlb
 *.lex.*
 *.grm.*
 *.o
-*.do
+*.lo
+*.la
+*.a
+*.so
 *.so.*
+*.lai
 
 src/config.sml