9 tests/fix_betareduction.moo\
13 tests/match_inference.moo\
14 tests/mysql_escaping.moo\
25 DEPEND_NAME=.depend.moo
30 rm -f $(DEPEND_NAME) $(TODO)
34 [ ! -e $@ ] || ./matitaclean $<
35 ./matitac $< || ./matitaclean $<
37 $(DEPEND_NAME): $(TODO:%.moo=%.ma)
40 include $(DEPEND_NAME)