]> matita.cs.unibo.it Git - helm.git/commitdiff
better clean up on dist
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 13 Jun 2005 14:19:27 +0000 (14:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 13 Jun 2005 14:19:27 +0000 (14:19 +0000)
helm/DEVEL/lablgtksourceview/Makefile.in

index 12dbc472ae10e0202b6af9bc1577e50c21b35f86..4c8ecc588b07a8275ff8ca9a7eedc8a3fb708d3f 100644 (file)
@@ -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)/