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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit b5d4fe4ad82f7908fcd3586ae5d1a3fbe27cce72
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 15:17:43 2009 +0100

    jessie_why.v was installed twice, now in libwhy-coq

diff --git a/debian/rules b/debian/rules
index c3ded1a..01aaa92 100755
--- a/debian/rules
+++ b/debian/rules
@@ -53,6 +53,9 @@ install: build
 	dh_prep
 	dh_installdirs
 	$(MAKE) prefix=$(WHYDIR)/usr install COQLIB=$(CURDIR)/debian/libwhy-coq/$(COQ_STDLIB_DIR)
+	#-rm -f $(WHYDIR)/usr/lib/coq/jessie_why.v
+	#Used to remove jessie_why.v which is alone in /usr/lib/coq/
+	-rm -rf $(WHYDIR)/usr/lib/coq/
 	mv $(WHYDIR)/usr/lib/why/why-logo-1.png $(WHYDIR)/usr/share/why
 	echo 'F:OCamlABI=$(OCAML_ABI)' >> debian/libjessie-ocaml-dev.substvars
 	echo 'F:CoqABI=$(COQ_ABI)' >> debian/why.substvars

-- 
why packaging