+ @echo matitadep
+ $(H)$(BIN)matitadep $(foreach DIR, $(DIRS), -exclude $(DIR)/theory.ma) -exclude LambdaDelta-2/theory.ma
+ $(H)cat $(DIRS:%=%/depends) >> depends
+
+depend.opt:
+ @echo matitadep.opt
+ $(H)$(BIN)matitadep.opt $(foreach DIR, $(DIRS), -exclude $(DIR)/theory.ma) -exclude LambdaDelta-2/theory.ma
+ $(H)cat $(DIRS:%=%/depends) >> depends