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

diff --git a/matita/components/Makefile b/matita/components/Makefile
index 6b248d0e6..86fc08c69 100644
--- a/matita/components/Makefile
+++ b/matita/components/Makefile
@@ -19,7 +19,7 @@ MODULES =			\
 	cic			\
 	library			\
 	ng_kernel		\
-	acic_content		\
+	content		\
 	grafite			\
 	disambiguation	        \
 	ng_kernel               \