we updated the contribution porting it to the new matita ...

[helm.git] / matita / matita / contribs / character / Makefile

diff --git a/matita/matita/contribs/character/Makefile b/matita/matita/contribs/character/Makefile
deleted file mode 100644 (file)
index 8262cd7..0000000
--- a/matita/matita/contribs/character/Makefile
+++ /dev/null
@@ -1,18 +0,0 @@
-BIN=../../
-
-DIR=$(shell basename $$PWD)
-
-H=@
-
-$(DIR) all:
-       $(H)$(BIN)matitac
-$(DIR).opt opt all.opt:
-       $(H)$(BIN)matitac.opt
-clean:
-       $(H)$(BIN)matitaclean
-clean.opt:
-       $(H)$(BIN)matitaclean.opt
-depend:
-       $(H)$(BIN)matitadep
-depend.opt:
-       $(H)$(BIN)matitadep.opt