diff -r dfc5aa4a64dd -r caa0a78ca860 .hgignore
--- a/.hgignore	Sun Oct 24 22:21:55 2010 -0700
+++ b/.hgignore	Sun Oct 24 22:46:53 2010 -0700
@@ -6,7 +6,7 @@
 *.log
 *.out
 *.toc
-*.synctex.gz
+*.synctex.gz*
 *.nav
 *.snm