$(H)../../matitac $(MATITAOPTIONS) 2> /dev/null
$(H)rm depends
build.opt: $(MAS)
$(H)echo Legacy-2/theory.ma `../../matitadep.opt -stdout Legacy-2/theory.ma` >> depends
$(H)../../matitac $(MATITAOPTIONS) 2> /dev/null
$(H)rm depends
build.opt: $(MAS)
$(H)echo Legacy-2/theory.ma `../../matitadep.opt -stdout Legacy-2/theory.ma` >> depends