[derby] 01/03: use local package-list from jdk-doc (#848389)

[Tony Mancill]

This is an automated email from the git hooks/post-receive script.

tmancill pushed a commit to branch master
in repository derby.

commit 08d30cc6a57afdb9a1feb492570a5cdebb79ee99
Author: tony mancill <tmancill at debian.org>
Date:   Sat Dec 17 16:16:16 2016 -0800

    use local package-list from jdk-doc (#848389)
---
 debian/control                               | 1 +
 debian/patches/03-offline-package-list.patch | 6 ++++++
 debian/patches/series                        | 1 +
 3 files changed, 8 insertions(+)

diff --git a/debian/control b/debian/control
index 5713447..92db4f6 100644
--- a/debian/control
+++ b/debian/control
@@ -6,6 +6,7 @@ Uploaders: Tim Booth <tbooth at ceh.ac.uk>, Emmanuel Bourg <ebourg at apache.org>
 Build-Depends: ant (>= 1.7),
                debhelper (>= 9),
                default-jdk,
+               default-jdk-doc,
                javacc4,
                junit,
                libjson-simple-java,
diff --git a/debian/patches/03-offline-package-list.patch b/debian/patches/03-offline-package-list.patch
new file mode 100644
index 0000000..b529083
--- /dev/null
+++ b/debian/patches/03-offline-package-list.patch
@@ -0,0 +1,6 @@
+--- /dev/null
++++ b/local.properties
+@@ -0,0 +1,3 @@
++javasedoc.local=/usr/share/doc/openjdk-8-jre-headless/api
++j2eedoc.local=/usr/share/doc/openjdk-8-jre-headless/api
++
diff --git a/debian/patches/series b/debian/patches/series
index a35e7c7..035099a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 01-lucene-compatibility.patch
 02-skip-jardriftcheck.patch
+03-offline-package-list.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/derby.git