-%.ma: %.mma
- $(H)../../matitac.opt $(MATITAOPTIONS) $< 2> /dev/null
- $(H)../../matitac.opt $(MATITAOPTIONS) -dump $@ $< 2> /dev/null
- $(H)$(MAKE) depend.opt
-
-$(DIR) all: $(MAS)
- $(H)../../matitac $(MATITAOPTIONS) 2> /dev/null
-$(DIR).opt opt all.opt: $(MAS)
- $(H)../../matitac.opt $(MATITAOPTIONS) 2> /dev/null