From: Stefano Zacchiroli 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)/