Procedural: we removed some commented code

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

diff --git a/helm/software/matita/contribs/character/Makefile b/helm/software/matita/contribs/character/Makefile
index a3e89143506b5e74e97ef05225367a52b12bf772..8262cd704dc5aacc05ecdced64a8b01ea8de8ede 100644 (file)
--- a/helm/software/matita/contribs/character/Makefile
+++ b/helm/software/matita/contribs/character/Makefile
@@ -1,16 +1,18 @@
-include ../Makefile.defs
+BIN=../../
 
 DIR=$(shell basename $$PWD)
 
+H=@
+
 $(DIR) all:
-       $(BIN)matitac
+       $(H)$(BIN)matitac
 $(DIR).opt opt all.opt:
-       $(BIN)matitac.opt
+       $(H)$(BIN)matitac.opt
 clean:
-       $(BIN)matitaclean
+       $(H)$(BIN)matitaclean
 clean.opt:
-       $(BIN)matitaclean.opt
+       $(H)$(BIN)matitaclean.opt
 depend:
-       $(BIN)matitadep
+       $(H)$(BIN)matitadep
 depend.opt:
-       $(BIN)matitadep.opt
+       $(H)$(BIN)matitadep.opt