$(DIR).opt opt all.opt:
$(H)$(RM) $(LOG)
$(H)$(BIN)matitac.opt $(MATITAOPTIONS) 2>> $(LOG)
+
+%.ma:
+ $(H)$(RM) $(LOG)
+ $(H)$(BIN)matitac $(MATITAOPTIONS) $*.mma 2>> $(LOG)
+%.mo:
+ $(H)$(RM) $(LOG)
+ $(H)$(BIN)matitac $(MATITAOPTIONS) $*.ma 2>> $(LOG)
+%.ma.opt:
+ $(H)$(RM) $(LOG)
+ $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.mma 2>> $(LOG)
+%.mo.opt:
+ $(H)$(RM) $(LOG)
+ $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.ma 2>> $(LOG)
+
clean:
$(H)$(BIN)matitaclean $(MATITAOPTIONS)
$(H)$(RM) $(MAS)
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)
+