X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fcharacter%2FMakefile;h=8262cd704dc5aacc05ecdced64a8b01ea8de8ede;hb=f7804325dbb5b51820edefe5d5ffff89809fe35c;hp=a3e89143506b5e74e97ef05225367a52b12bf772;hpb=5c0ced5c13852bcc93761859285efe4c5f0d2513;p=helm.git

diff --git a/helm/software/matita/contribs/character/Makefile b/helm/software/matita/contribs/character/Makefile
index a3e891435..8262cd704 100644
--- 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