transcript: we now check for non-existing objects

[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 5402df5dbb599998e1ed2d90f44f7dbc5767d190..ea78a78b16eed81ff737d447959eb446fee19ce7 100644 (file)
--- 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)