From f78c454c6f46dd11c416e6c5515a9438c19cd506 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 28 Jan 2010 09:56:08 -0500
Subject: First attempt to switch to Automake, to get shared libraries built in
 OSX

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

(limited to '.hgignore')

diff --git a/.hgignore b/.hgignore
index 0c53c3a2..862064ee 100644
--- a/.hgignore
+++ b/.hgignore
@@ -12,12 +12,10 @@ src/urweb.mlb
 *.lex.*
 *.grm.*
 *.o
+.deps
+.libs
 *.lo
 *.la
-*.a
-*.so
-*.so.*
-*.lai
 
 src/config.sml
 
@@ -41,6 +39,7 @@ demo/more/demo.*
 *.pdf
 *.ps
 *.toc
+*.m4
 
 .depend
 Makefile.coq
@@ -48,5 +47,7 @@ Makefile.coq
 
 syntax: regexp
 
-^Makefile
-^src/coq/Makefile
+^Makefile$
+^src/c/Makefile$
+^src/coq/Makefile$
+^libtool$
-- 
cgit v1.2.3