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

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit af3bbe912da3c77f19a35f7c5e6c4413b019fffd
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 19c8a32..3fe7448 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