[jabref] 351/459: update debian_libs.patch: we now have /usr/share/java/jgoodies-forms.jar
gregor herrmann
gregoa at debian.org
Thu Sep 15 20:41:00 UTC 2016
This is an automated email from the git hooks/post-receive script.
gregoa pushed a commit to branch master
in repository jabref.
commit 952c6612494fa984725c9cd6a1332fce7127aad6
Author: gregor herrmann <gregoa at debian.org>
Date: Tue Nov 20 18:30:55 2012 +0100
update debian_libs.patch: we now have /usr/share/java/jgoodies-forms.jar
update wrapper too
Git-Dch: Ignore
---
debian/jabref-wrapper | 2 +-
debian/patches/debian_libs.patch | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/debian/jabref-wrapper b/debian/jabref-wrapper
index 53c67b2..4673b2b 100644
--- a/debian/jabref-wrapper
+++ b/debian/jabref-wrapper
@@ -6,6 +6,6 @@
# We need openjdk7/6 or sun6 runtime.
find_java_runtime openjdk sun6
-find_jars jabref antlr antlr3 jgoodies-looks forms spin glazedlists microba pdfbox jempbox mysql-connector-java JPFCodeGenerator-rt jpf jpf-boot commons-logging jgoodies-common
+find_jars jabref antlr antlr3 jgoodies-looks jgoodies-forms spin glazedlists microba pdfbox jempbox mysql-connector-java JPFCodeGenerator-rt jpf jpf-boot commons-logging jgoodies-common
run_java net.sf.jabref.JabRefMain "$@"
diff --git a/debian/patches/debian_libs.patch b/debian/patches/debian_libs.patch
index 80b9a31..22a7a59 100644
--- a/debian/patches/debian_libs.patch
+++ b/debian/patches/debian_libs.patch
@@ -27,7 +27,7 @@ Description: Use debian libraries and disable unnecesary unjarlib target,
+ <include name="antlr3-runtime.jar" />
+ <include name="jgoodies-common.jar" />
+ <include name="jgoodies-looks.jar" />
-+ <include name="forms.jar" />
++ <include name="jgoodies-forms.jar" />
<include name="spin.jar" />
- <include name="glazedlists-1.8.0_java15.jar" />
+ <include name="glazedlists.jar" />
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jabref.git
More information about the pkg-java-commits
mailing list