This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / ocaml / cic_omdoc / Makefile

diff --git a/helm/ocaml/cic_omdoc/Makefile b/helm/ocaml/cic_omdoc/Makefile
deleted file mode 100644 (file)
index affeb76..0000000
--- a/helm/ocaml/cic_omdoc/Makefile
+++ /dev/null
@@ -1,12 +0,0 @@
-PACKAGE = cic_omdoc
-REQUIRES = helm-cic_proof_checking helm-mathql_interpreter
-PREDICATES =
-
-INTERFACE_FILES =  eta_fixing.mli doubleTypeInference.mli cic2acic.mli \
-                   content.mli contentPp.mli cic2content.mli content2cic.mli
-IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
-
-EXTRA_OBJECTS_TO_INSTALL = \
-EXTRA_OBJECTS_TO_CLEAN =
-
-include ../Makefile.common