oops, antlr and antlr_3_ in 02_libs.dpatch

diff --git a/debian/patches/02_libs.dpatch b/debian/patches/02_libs.dpatch
index 4f107ff..0b7c365 100755 (executable)
--- a/debian/patches/02_libs.dpatch
+++ b/debian/patches/02_libs.dpatch
@@ -6,8 +6,8 @@
 
 @DPATCH@
 diff -urNad jabref-2.3~/build.xml jabref-2.3/build.xml
---- jabref-2.3~/build.xml      2008-04-07 20:25:04.000000000 +0200
-+++ jabref-2.3/build.xml       2008-04-07 20:35:39.000000000 +0200
+--- jabref-2.3~/build.xml      2008-04-12 23:31:44.000000000 +0200
++++ jabref-2.3/build.xml       2008-04-12 23:56:35.000000000 +0200
 @@ -87,6 +87,7 @@
  
        <!-- Set the properties for library directories -->
@@ -55,7 +55,7 @@ diff -urNad jabref-2.3~/build.xml jabref-2.3/build.xml
 -              <unjar src="${library.directory}/PDFBox-0.7.3-dev-reduced.jar" dest="${build.tmp}" />
 -              <unjar src="${library.directory}/JempBox-0.1.0-dev.jar" dest="${build.tmp}" />
 +              <unjar src="${library.directory.debian}/antlr.jar" dest="${build.tmp}" />
-+              <unjar src="${library.directory.debian}/antlr.jar" dest="${build.tmp}" />
++              <unjar src="${library.directory.debian}/antlr3.jar" dest="${build.tmp}" />
 +              <unjar src="${library.directory.debian}/looks.jar" dest="${build.tmp}" />
 +              <unjar src="${library.directory.debian}/forms.jar" dest="${build.tmp}" />
 +              <unjar src="${library.directory.debian}/spin.jar" dest="${build.tmp}" />