- cic_exportation, cic_acic, acic_content (only parts related to acic)

[helm.git] / matita / components / acic_content / Makefile

diff --git a/matita/components/acic_content/Makefile b/matita/components/acic_content/Makefile
index 72aa997d15ae21b778b7988eb6a09dc0fc8dd368..119aaaa73800ac52715f939b727da1ea859d94ee 100644 (file)
--- a/matita/components/acic_content/Makefile
+++ b/matita/components/acic_content/Makefile
@@ -3,13 +3,10 @@ PREDICATES =
 
 INTERFACE_FILES =              \
        content.mli             \
-       acic2content.mli        \
-       content2cic.mli         \
        cicNotationUtil.mli     \
        cicNotationEnv.mli      \
        cicNotationPp.mli       \
-       acic2astMatcher.mli     \
-       termAcicContent.mli     \
+       termAcicContent.mli \
        $(NULL)
 IMPLEMENTATION_FILES =         \
        cicNotationPt.ml        \