X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FMakefile.common;h=ea78a78b16eed81ff737d447959eb446fee19ce7;hb=f620bf94af6c347926ed1c2328462efab7018b21;hp=5402df5dbb599998e1ed2d90f44f7dbc5767d190;hpb=418b1f26ab67b824c79d1146fdb50ca29b34c1f6;p=helm.git

diff --git a/helm/software/matita/contribs/procedural/Makefile.common b/helm/software/matita/contribs/procedural/Makefile.common
index 5402df5db..ea78a78b1 100644
--- a/helm/software/matita/contribs/procedural/Makefile.common
+++ b/helm/software/matita/contribs/procedural/Makefile.common
@@ -40,4 +40,4 @@ clean.ma:
 endif
 
 mma: $(DEVEL).conf.xml clean.ma
-	$(H)$(TRANSCRIPT) -C $(BIN) $(DEVEL)
+	$(H)$(TRANSCRIPT) -g -C $(BIN) $(DEVEL)