[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-75-ga76bd46

[Samuel Mimram]

The following commit has been merged in the master branch:
commit a76bd462a04fd7a57694cf3461425cad971fa75c
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Mon Mar 16 20:17:25 2009 +0100

    More cleaning.

diff --git a/debian/rules b/debian/rules
index 86f482e..f8bf813 100755
--- a/debian/rules
+++ b/debian/rules
@@ -45,6 +45,7 @@ clean: unpatch ocamlinit-clean
 	[ ! -f Makefile.debian ] || $(MAKE) -f Makefile.debian clean
 	-cp lib/coq/WhyCoq8.v lib/coq/WhyCoqCompat.v
 	[ ! -f .depend.debian ]  || mv .depend.debian .depend
+	$(RM) -f lib/coq/*.glob
 	dh_clean
 
 install: build

-- 
why packaging