[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. de9e9c465012872efe80b2e03f5f738ca9cabb41

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit de9e9c465012872efe80b2e03f5f738ca9cabb41
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Thu Aug 7 18:25:23 2008 -0300

    cleanup dirts upon clean

diff --git a/Makefile b/Makefile
index 3eb5e6d..9e16064 100644
--- a/Makefile
+++ b/Makefile
@@ -27,6 +27,7 @@ install:
 clean:
 	rm -rf pkglab.cmo pkglab.cmx pkglab pkglab.o pkglab.opt pkglab.cmi
 	$(MAKE) -C dql clean
+	rm -f dql/.depend
 
 depend:
 	touch dql/.depend

-- 
pkglab packaging