X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fcontribs%2FRELATIONAL%2FMakefile;fp=matitaB%2Fmatita%2Fcontribs%2FRELATIONAL%2FMakefile;h=0000000000000000000000000000000000000000;hb=da0775e27b362e91ea1453a800bc403781cc2ca3;hp=a3e89143506b5e74e97ef05225367a52b12bf772;hpb=d9824956d9132109ed5f23380a0a1f9c5181d18a;p=helm.git

diff --git a/matitaB/matita/contribs/RELATIONAL/Makefile b/matitaB/matita/contribs/RELATIONAL/Makefile
deleted file mode 100644
index a3e891435..000000000
--- 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