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)
+