MathML widget no longer used. Requesciat in pacem

[helm.git] / matita / configure.ac

diff --git a/matita/configure.ac b/matita/configure.ac
index ee8cf52a473d697f0efd83349f5d575ae8d2a012..bc655aae3e5c67995d371b7bf16fd5f9ad78c39e 100644 (file)
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -63,7 +63,6 @@ gdome2 \
 http \
 lablgtk2 \
 lablgtksourceview2.gtksourceview2 \
-lablgtkmathview \
 mysql \
 netstring \
 ulex08 \
@@ -95,7 +94,6 @@ $FINDLIB_COMREQUIRES \
 FINDLIB_REQUIRES="\
 $FINDLIB_CREQUIRES \
 lablgtk2.glade \
-lablgtkmathview \
 lablgtksourceview2.gtksourceview2 \
 helm-xmldiff \
 "