X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Facic_procedural%2FMakefile;fp=matita%2Fcomponents%2Facic_procedural%2FMakefile;h=0000000000000000000000000000000000000000;hb=0fde70bd19b8fdfa72b807b9713a02ad1bd91b5b;hp=ce878a21b200018cc4c76a25d23256b1585f0668;hpb=f61ffe97078aab1e47ee1b7f212e707b0412e77e;p=helm.git

diff --git a/matita/components/acic_procedural/Makefile b/matita/components/acic_procedural/Makefile
deleted file mode 100644
index ce878a21b..000000000
--- a/matita/components/acic_procedural/Makefile
+++ /dev/null
@@ -1,20 +0,0 @@
-PACKAGE = acic_procedural
-PREDICATES =
-
-INTERFACE_FILES =		 \
-	proceduralHelpers.mli    \
-	proceduralClassify.mli   \
-	proceduralOptimizer.mli  \
-	proceduralTypes.mli      \
-	proceduralMode.mli       \
-	proceduralConversion.mli \
-	procedural1.mli          \
-	procedural2.mli          \
-	proceduralTeX.mli        \
-	acic2Procedural.mli      \
-	$(NULL)
-IMPLEMENTATION_FILES =		 \
-	$(INTERFACE_FILES:%.mli=%.ml)
-
-include ../../Makefile.defs
-include ../Makefile.common