From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 13 Jun 2005 14:19:27 +0000 (+0000)
Subject: better clean up on dist
X-Git-Tag: PRE_STORAGE~49
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c0d7208f41601520a0bd931176b1948ffe18f921;p=helm.git

better clean up on dist
---

diff --git a/helm/DEVEL/lablgtksourceview/Makefile.in b/helm/DEVEL/lablgtksourceview/Makefile.in
index 12dbc472a..4c8ecc588 100644
--- a/helm/DEVEL/lablgtksourceview/Makefile.in
+++ b/helm/DEVEL/lablgtksourceview/Makefile.in
@@ -66,7 +66,7 @@ test/test.opt:
 test/test:
 	$(MAKE) -C $(TESTDIR) test
 
-dist:
+dist: distclean
 	rm -rf $(DIST_DIR)/
 	mkdir -p $(DIST_DIR)/
 	cp -a $(DIST_FILES) $(EXTRA_DIST) $(DIST_DIR)/