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

Mehdi Dogguy dogguy at pps.jussieu.fr
Tue Feb 24 14:19:07 UTC 2009


The following commit has been merged in the master branch:
commit ff42da6593b89e7419772c81ec44bef25d6bcc1a
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 13:55:37 2009 +0100

    Using dh_prep instead of dh_clean -k

diff --git a/debian/rules b/debian/rules
index c1d460f..7acd735 100755
--- a/debian/rules
+++ b/debian/rules
@@ -50,7 +50,7 @@ clean: unpatch ocamlinit-clean
 install: build
 	dh_testdir
 	dh_testroot
-	dh_clean -k
+	dh_prep
 	dh_installdirs
 	$(MAKE) prefix=$(WHYDIR)/usr install COQLIB=$(CURDIR)/debian/libwhy-coq/$(COQ_STDLIB_DIR)
 	mv $(WHYDIR)/usr/lib/why/why-logo-1.png $(WHYDIR)/usr/share/why

-- 
why packaging



More information about the Pkg-ocaml-maint-commits mailing list