From 15622109a8e2d72911d84f075ba64df8a948f7d2 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 8 Feb 2007 13:52:04 +0000 Subject: [PATCH] fix dependences for matita --- helm/software/configure.ac | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/software/configure.ac b/helm/software/configure.ac index d69683b4c..2f6738bcd 100644 --- a/helm/software/configure.ac +++ b/helm/software/configure.ac @@ -79,6 +79,7 @@ helm-grafite_engine \ helm-tptp_grafite \ helm-grafite_parser \ helm-acic_procedural \ +helm-content_pres \ helm-hgdome \ helm-tactics \ " -- 2.39.2