X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2FMakefile;fp=matita%2Fcomponents%2FMakefile;h=de0d4ed30433b6684676475fc6c4c3ab4c7f05e9;hb=b8dac1f8f6b664b78e58c152cd3960e121713f5d;hp=86fc08c6970741ddecd56e94d91fa1a38f8b040b;hpb=8a660ee06d72cfee52c707bb1d8d8be3bab0d682;p=helm.git

diff --git a/matita/components/Makefile b/matita/components/Makefile
index 86fc08c69..de0d4ed30 100644
--- a/matita/components/Makefile
+++ b/matita/components/Makefile
@@ -10,7 +10,6 @@ MODULES =			\
 	xml			\
 	hgdome			\
 	registry		\
-	hmysql 			\
 	syntax_extensions	\
 	thread			\
 	urimanager		\