X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FMakefile.common;h=ea78a78b16eed81ff737d447959eb446fee19ce7;hb=a99fe3ca5a39b4d9754b69863b5f9fb0f91ed286;hp=ec1cb7d1a65928df541e566025fa344ac244b755;hpb=29714797b01e0ac8c22e4df2827b1785a759f482;p=helm.git

diff --git a/helm/software/matita/contribs/procedural/Makefile.common b/helm/software/matita/contribs/procedural/Makefile.common
index ec1cb7d1a..ea78a78b1 100644
--- 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)
 
@@ -40,4 +40,4 @@ clean.ma:
 endif
 
 mma: $(DEVEL).conf.xml clean.ma
-	$(H)$(TRANSCRIPT) -C $(BIN) $(DEVEL)
+	$(H)$(TRANSCRIPT) -g -C $(BIN) $(DEVEL)