From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 24 Nov 2005 10:21:33 +0000 (+0000)
Subject: added missing dependency
X-Git-Tag: make_still_working~8119
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1b5b2faaee8b16e376ac10d63ef8a03ba14698b1;p=helm.git

added missing dependency
---

diff --git a/helm/matita/configure.ac b/helm/matita/configure.ac
index d20bf2192..3ed0cef34 100644
--- a/helm/matita/configure.ac
+++ b/helm/matita/configure.ac
@@ -41,6 +41,7 @@ helm-hmysql \
 helm-cic_notation \
 helm-tactics \
 helm-cic_disambiguation \
+helm-cic_transformations \
 "
 FINDLIB_CLEANREQUIRES="$FINDLIB_COMREQUIRES"
 FINDLIB_DEPREQUIRES="$FINDLIB_COMREQUIRES"