X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FMakefile.common;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FMakefile.common;h=a169ea049f0882ffc6208c34a952e773bb4a9884;hb=14e2489ae86ecb6467fe9a7ba3b742a8d53c47ea;hp=92225d77d00f07406c59c65995592e45d5d80e4b;hpb=f1ecb87d00b1f4df3bdc43d5bcf1bda82cb22d7a;p=helm.git

diff --git a/helm/software/matita/contribs/procedural/Makefile.common b/helm/software/matita/contribs/procedural/Makefile.common
index 92225d77d..a169ea049 100644
--- a/helm/software/matita/contribs/procedural/Makefile.common
+++ b/helm/software/matita/contribs/procedural/Makefile.common
@@ -53,3 +53,9 @@ endif
 
 mma: $(DEVEL).conf.xml clean.ma
 	$(H)$(TRANSCRIPT) $(TRANSCRIPTOPTIONS) -C $(BIN) $(DEVEL)
+
+%.ts: $(DEVEL).conf.xml
+	$(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $*.ma
+	$(H)$(RM) $*.ma
+	$(H)$(TRANSCRIPT) $(TRANSCRIPTOPTIONS) -C $(BIN) $* $(DEVEL)
+