transcript: improved debuugging facilities

[helm.git] / helm / software / matita / contribs / procedural / Makefile.common

diff --git a/helm/software/matita/contribs/procedural/Makefile.common b/helm/software/matita/contribs/procedural/Makefile.common
index ec1cb7d1a65928df541e566025fa344ac244b755..5402df5dbb599998e1ed2d90f44f7dbc5767d190 100644 (file)
--- a/helm/software/matita/contribs/procedural/Makefile.common
+++ b/helm/software/matita/contribs/procedural/Makefile.common
@@ -1,10 +1,10 @@
 BIN = ../../../
 
-DIR=$(shell basename $$PWD)
+DIR = $(shell basename $$PWD)
 
-H=@
+H = @
 
-MATITAOPTIONS=
+MATITAOPTIONS =
 
 TRANSCRIPT = $(BIN)../components/binaries/transcript/transcript.opt
 
@@ -26,7 +26,7 @@ clean.opt:
        $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
        $(H)$(RM) $(MAS)
 depend:
-       $$(H)(BIN)matitadep $(MATITAOPTIONS)
+       $(H)(BIN)matitadep $(MATITAOPTIONS)
 depend.opt:
        $(H)$(BIN)matitadep.opt $(MATITAOPTIONS)