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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 47ec9e8520a86032762ea9a59539eeaa54faa461
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed Dec 17 19:30:28 2008 +0100

    Do not compress .v, .sx and .why files

diff --git a/debian/changelog b/debian/changelog
index c1422c8..55f2868 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,9 @@ why (2.17.dfsg-1) UNRELEASED; urgency=low
       - Build and install jc.{cma,cmxa,a}
       - Install jc.cmi
     + Add a META file for Jessie library
+  * Add a binary package why-examples
+  * debian/rules:
+    + do not compress .v,.sx,.why files
   * Bump standards version to 3.8.0, no changes needed.
   * Installing .vo files in /usr/lib/coq/user-contrib, closes: #498713.
   * Move logo in /usr/share/why (using logopath.dpatch)
diff --git a/debian/rules b/debian/rules
index 9721861..710a334 100755
--- a/debian/rules
+++ b/debian/rules
@@ -88,7 +88,7 @@ binary-arch: build install
 	dh_installman
 	dh_link
 	dh_strip
-	dh_compress
+	dh_compress -X.v -X.sx -X.why
 	dh_fixperms
 	dh_installdeb
 	dh_shlibdeps

-- 
why packaging