From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 24 Jan 2004 17:01:36 +0000 (+0000)
Subject: don't remove METAs on clean, but on distclean
X-Git-Tag: V_0_2_3~142
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9054c30dfadd8ed9a65d71abeb808f788341ade3;p=helm.git

don't remove METAs on clean, but on distclean
---

diff --git a/helm/hbugs/meta/Makefile b/helm/hbugs/meta/Makefile
index 4d855ef54..af3f3f74b 100644
--- a/helm/hbugs/meta/Makefile
+++ b/helm/hbugs/meta/Makefile
@@ -8,5 +8,5 @@ META.hbugs-thread-safe: META.hbugs-thread-safe.in
 META.hbugs-client: META.hbugs-client.in
 	sed 's%@HBUGS_CLIENT_DIR@%$(CURDIR)/../client%' < $< > $@
 clean:
-	rm -f $(META)
 distclean: clean
+	rm -f $(META)