1 files changed, 6 insertions, 1 deletions

diff --git a/.hgignore b/.hgignore
index b388b26a..fe5b6659 100644
--- a/.hgignore
+++ b/.hgignore
@@ -13,7 +13,7 @@ src/urweb.mlb
 *.grm.*
 *.o
 
-Makefile
+./Makefile
 src/config.sml
 
 *.exe
@@ -27,3 +27,8 @@ demo/demo.*
 
 *.sql
 *mlmon.out
+
+*.aux
+*.dvi
+*.pdf
+*.ps