depends: depend.opt
%.ma: %.mma
- ../../matitac.opt $(MATITAOPTIONS) $(word 3,$(shell grep -h $< */depends)) `../../matitadep.opt -stdout $<` 2> /dev/null
+ $(H)../../matitac.opt $(MATITAOPTIONS) $(word 3,$(shell grep -h $< */depends)) `../../matitadep.opt -stdout $<` 2> /dev/null
$(H)../../matitac.opt $(MATITAOPTIONS) -dump $@ $< 2> /dev/null
$(H)echo $@ `../../matitadep.opt -stdout $@` >> depends