diff .hgignore @ 1132:d4cd54a4ea06

First attempt to switch to Automake, to get shared libraries built in OSX
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Jan 2010 09:56:08 -0500
parents 67d875c8ac71
children f6cb1cb2d7a8
line wrap: on
line diff
--- a/.hgignore	Tue Jan 26 14:59:19 2010 -0500
+++ b/.hgignore	Thu Jan 28 09:56:08 2010 -0500
@@ -12,12 +12,10 @@
 *.lex.*
 *.grm.*
 *.o
+.deps
+.libs
 *.lo
 *.la
-*.a
-*.so
-*.so.*
-*.lai
 
 src/config.sml
 
@@ -41,6 +39,7 @@
 *.pdf
 *.ps
 *.toc
+*.m4
 
 .depend
 Makefile.coq
@@ -48,5 +47,7 @@
 
 syntax: regexp
 
-^Makefile
-^src/coq/Makefile
+^Makefile$
+^src/c/Makefile$
+^src/coq/Makefile$
+^libtool$