X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Facic_content%2FMakefile;fp=helm%2Focaml%2Facic_content%2FMakefile;h=0000000000000000000000000000000000000000;hb=55b82bd235d82ff7f0a40d980effe1efde1f5073;hp=862a9eefb7621142d08c15ea75279b2ee4e090ed;hpb=771ee8b9d122fa963881c876e86f90531bb7434f;p=helm.git

diff --git a/helm/ocaml/acic_content/Makefile b/helm/ocaml/acic_content/Makefile
deleted file mode 100644
index 862a9eefb..000000000
--- a/helm/ocaml/acic_content/Makefile
+++ /dev/null
@@ -1,20 +0,0 @@
-PACKAGE = acic_content
-PREDICATES =
-
-INTERFACE_FILES =		\
-	content.mli		\
-	contentPp.mli		\
-	acic2content.mli	\
-	content2cic.mli		\
-	cicNotationUtil.mli	\
-	cicNotationEnv.mli	\
-	cicNotationPp.mli	\
-	acic2astMatcher.mli	\
-	termAcicContent.mli	\
-	$(NULL)
-IMPLEMENTATION_FILES =		\
-	cicNotationPt.ml	\
-	$(INTERFACE_FILES:%.mli=%.ml)
-
-include ../../Makefile.defs
-include ../Makefile.common