moo do not depend on .depend

[helm.git] / helm / matita / tests / Makefile

diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile
index 47ed823a541c02d6ae628b2c6b49f1f8faf79fff..540a90a73a2f46a765197ef0faa18b30febf4a5e 100644 (file)
--- a/helm/matita/tests/Makefile
+++ b/helm/matita/tests/Makefile
@@ -39,7 +39,7 @@ cleanall: $(LINKS)
 depend: $(DEPEND_NAME)
 .PHONY: depend
 
-%.moo:%.ma $(DEPEND_NAME) $(LINKS)
+%.moo:%.ma $(LINKS)
        @[ ! -e $@ ] || $(MATITACLEAN) $< 
        @$(MATITAC) $< || $(MATITACLEAN) $<