Index: matita/configure.ac
===================================================================
--- matita.orig/configure.ac	2012-05-06 18:10:31.000000000 +0200
+++ matita/configure.ac	2012-05-06 22:30:23.000000000 +0200
@@ -63,7 +63,6 @@
 http \
 lablgtk2 \
 lablgtksourceview2.gtksourceview2 \
-mysql \
 netstring \
 ulex08 \
 zip \
