]> matita.cs.unibo.it Git - helm.git/blobdiff - matitaB/configure.ac
Removed dependency of Matitaweb from GTK libraries.
[helm.git] / matitaB / configure.ac
index 17ceabba1a24a9ec201c39c2e34cbbb2bf64537d..e11e011a0b8304990792a2876e9c7f761576dc0b 100644 (file)
@@ -98,8 +98,6 @@ FINDLIB_WREQUIRES="\
 $FINDLIB_CREQUIRES \
 netcgi2 \
 nethttpd \
-lablgtk2.glade \
-lablgtksourceview2.gtksourceview2 \
 "
 for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES
 do