[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.19+dfsg-2-17-g9832da6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 3e395f6535f861b44fa755b2dc20e1c5f222857f
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 10 21:29:03 2010 +0100

    Remove no longer needed cleaning

diff --git a/debian/clean b/debian/clean
index b2e7907..3ae3c2b 100644
--- a/debian/clean
+++ b/debian/clean
@@ -1,5 +1,6 @@
 Makefile
 Makefile.debian
+.depend
 a.out
 bin/gwhy.opt
 bin/krakatoa.opt
diff --git a/debian/rules b/debian/rules
index e1612fa..c838296 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,13 +20,10 @@ override_dh_auto_configure:
 	    --mandir=\$${prefix}/share/man \
 	    --infodir=\$${prefix}/share/info \
 	    LDFLAGS="-Wl,-z,defs"
-	cp .depend .depend.debian
 
 override_dh_auto_clean:
 	[ ! -f Makefile ] || sed -e 's/include .depend.*//g' Makefile > Makefile.debian
 	[ ! -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
 
 override_dh_auto_install:

-- 
why packaging