From: Enrico Tassi Date: Tue, 19 Jul 2005 09:59:04 +0000 (+0000) Subject: avoids generating a wrong/empty/dummy depend X-Git-Tag: V_0_7_2~184 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0d498c2c58dec9a024a489c902e463b1cac4a1b0;p=helm.git avoids generating a wrong/empty/dummy depend --- diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile index 1a5411c2c..820603831 100644 --- a/helm/matita/library/Makefile +++ b/helm/matita/library/Makefile @@ -46,6 +46,6 @@ depend: $(H)$(MATITAC) $< || $(MATITACLEAN) $< $(DEPEND_NAME): $(SRC) - $(H)$(MATITADEP) $(SRC) > $@ + $(H)$(MATITADEP) $(SRC) > $@ || rm -f $@ include $(DEPEND_NAME)