X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2FMakefile;h=9d192c5b936e6d6ac6f12310cefa4d1a8f45a72b;hb=bbb6dd07ecb430bf06bb52c2506626106449a5af;hp=084940b4dd7c6450eee9c2613631c5e02250887a;hpb=6d4277977478ef9bcadaffbef3d4bb04ac0250a5;p=helm.git

diff --git a/matitaB/components/content_pres/Makefile b/matitaB/components/content_pres/Makefile
index 084940b4d..9d192c5b9 100644
--- a/matitaB/components/content_pres/Makefile
+++ b/matitaB/components/content_pres/Makefile
@@ -2,26 +2,22 @@ PACKAGE = content_pres
 PREDICATES =
 
 INTERFACE_FILES =		 \
-	renderingAttrs.mli	 \
 	cicNotationLexer.mli	 \
-	interpTable.mli          \
 	smallLexer.mli	 \
 	cicNotationParser.mli	 \
-	mpresentation.mli	 \
 	box.mli			 \
-	content2presMatcher.mli	 \
+	content2presMatcher.mli  \
 	termContentPres.mli	 \
 	boxPp.mli		 \
 	cicNotationPres.mli	 \
-	content2pres.mli	 \
 	$(NULL)
 IMPLEMENTATION_FILES =		 \
 	$(INTERFACE_FILES:%.mli=%.ml) \
 
 PKGS = -package "$(MATITA_REQUIRES)"
 
-CMOS = $(ML:%.ml=%.cmo)
-$(CMOS) : $(LIB_DEPS)
+#CMOS = $(ML:%.ml=%.cmo)
+#$(CMOS) : $(LIB_DEPS)
 
 cicNotationPres.cmi: OCAMLOPTIONS += -rectypes
 cicNotationPres.cmo: OCAMLOPTIONS += -rectypes