diff .hgignore @ 524:a6159d0940f0

Start of manual
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 Nov 2008 14:38:53 -0500
parents ca95f9e4d45f
children 9eefa0cf3219
line wrap: on
line diff
--- a/.hgignore	Thu Nov 27 13:43:15 2008 -0500
+++ b/.hgignore	Thu Nov 27 14:38:53 2008 -0500
@@ -13,7 +13,7 @@
 *.grm.*
 *.o
 
-Makefile
+./Makefile
 src/config.sml
 
 *.exe
@@ -27,3 +27,8 @@
 
 *.sql
 *mlmon.out
+
+*.aux
+*.dvi
+*.pdf
+*.ps