[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.4.2+dfsg-1-23-g998e08e

[Gabriele Giacone]

The following commit has been merged in the master branch:
commit d6339098d4d964965e7353a5a255292556240b25
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Fri Jun 15 17:31:51 2012 +0000

    Switch binary to xz compression.

diff --git a/debian/changelog b/debian/changelog
index 282b3a3..7778364 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,7 +4,7 @@ jedit (4.5.1+dfsg-1) UNRELEASED; urgency=low
   * Sources moved from jEdit/ dir to root.
   * Bump Standards-Version to 3.9.3 (no changes).
   * Add ant-contrib, bsh and docbook-xsl-saxon to B-D.
-  * Switch orig.tar to xz compression.
+  * Switch source and binary to xz compression.
 
  -- Gabriele Giacone <1o5g4r8o at gmail.com>  Fri, 15 Jun 2012 14:35:42 +0200
 
diff --git a/debian/rules b/debian/rules
index 251662c..36790e6 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,6 +10,9 @@ TMPDIR     := get-orig-source-tmp
 %:
 	dh --with javahelper $@
 
+override_dh_builddeb:
+	dh_builddeb -- -Zxz
+
 override_dh_auto_configure:
 	# bsh: extract and copy to jEdit original locations
 	mkdir bsh && cd bsh && tar zxf /usr/src/bsh-src/bsh.tar.gz
diff --git a/debian/source/options b/debian/source/options
new file mode 100644
index 0000000..b7bc1f2
--- /dev/null
+++ b/debian/source/options
@@ -0,0 +1 @@
+compression = "xz"

-- 
jedit - Java plugin-based editor for programmers