From c575fc9cc6b9063b149e7e19313ae163a385f3d2 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 30 Jan 2010 15:34:00 -0500
Subject: Another try to include more Autofiles in the distribution

---
 .hgignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.hgignore')

diff --git a/.hgignore b/.hgignore
index 862064ee..bcee8b16 100644
--- a/.hgignore
+++ b/.hgignore
@@ -39,7 +39,7 @@ demo/more/demo.*
 *.pdf
 *.ps
 *.toc
-*.m4
+aclocal.m4
 
 .depend
 Makefile.coq
-- 
cgit v1.2.3