From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 12 Jul 2005 08:28:23 +0000 (+0000)
Subject: added matitamake
X-Git-Tag: pre_notation~31
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d4a027be22bc81d5dcb4d8dd39bd064aa61c1725;p=helm.git

added matitamake
---

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index a2cc123c3..bf527ad6c 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -31,6 +31,8 @@ matitadep
 matitadep.opt
 matitaclean
 matitaclean.opt
+matitamake
+matitamake.opt
 *.o
 *.swp
 matita.conf.xml