X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FMakefile.common;h=ea78a78b16eed81ff737d447959eb446fee19ce7;hb=8df31f2c696c408e888fb8b94478799b04771f15;hp=5402df5dbb599998e1ed2d90f44f7dbc5767d190;hpb=4dc282b8b71479d45704b414d1a10a27e71752f1;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)