X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2FMakefile;h=6b248d0e62691d8dde464de38783e963268bf16a;hb=77f31024bf00b913703eab774ce421cec0518058;hp=c9056ef3a235d97b1ecb429aede4fda0bbcbfebe;hpb=bfcde2b08d72f1392ed61164c67d199360f0397f;p=helm.git

diff --git a/matita/components/Makefile b/matita/components/Makefile
index c9056ef3a..6b248d0e6 100644
--- a/matita/components/Makefile
+++ b/matita/components/Makefile
@@ -13,7 +13,6 @@ MODULES =			\
 	hmysql 			\
 	syntax_extensions	\
 	thread			\
-	xmldiff			\
 	urimanager		\
 	logger			\
 	getter			\