removing old contribs

[helm.git] / matitaB / matita / contribs / RELATIONAL / Makefile

diff --git a/matitaB/matita/contribs/RELATIONAL/Makefile b/matitaB/matita/contribs/RELATIONAL/Makefile
deleted file mode 100644 (file)
index a3e8914..0000000
--- a/matitaB/matita/contribs/RELATIONAL/Makefile
+++ /dev/null
@@ -1,16 +0,0 @@
-include ../Makefile.defs
-
-DIR=$(shell basename $$PWD)
-
-$(DIR) all:
-       $(BIN)matitac
-$(DIR).opt opt all.opt:
-       $(BIN)matitac.opt
-clean:
-       $(BIN)matitaclean
-clean.opt:
-       $(BIN)matitaclean.opt
-depend:
-       $(BIN)matitadep
-depend.opt:
-       $(BIN)matitadep.opt