From 85a682b4a65a76e2f5a120b28faf7093f4a766a9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 27 Nov 2008 14:38:53 -0500
Subject: Start of manual

---
 .hgignore | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to '.hgignore')

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
-- 
cgit v1.2.3