Files
derby/derby-javadoc-encoding.patch

35 lines
1.3 KiB
Diff

--- db-derby-10.13.1.1-src/build.xml 2019-02-06 09:33:24.160447776 +0100
+++ db-derby-10.13.1.1-src/build.xml 2019-02-06 09:35:59.053237165 +0100
@@ -1005,6 +1005,7 @@
classpath="${bootClasspath};${osgi};${servlet24};${out.dir};${jars.javadoc}"
sourcepath="${derby.engine.src.dir}:${derby.client.src.dir}:${derby.drda.src.dir}:${derby.shared.src.dir}:${derby.optional.src.dir}:${derby.tools.src.dir}"
excludepackagenames="org.apache.derby.*"
+ encoding="UTF-8"
breakiterator="true"
access="public"
destdir="${public.api.dir}"
@@ -1059,6 +1060,7 @@
additionalparam="-J-mx500M"
packagenames="org.*"
access="private"
+ encoding="UTF-8"
breakiterator="yes"
useexternalfile="yes"
classpath="${out.dir};${jars.javadoc}"
@@ -1149,6 +1151,7 @@
additionalparam="-J-mx500M"
packagenames="org.apache.derbyDemo.vtis.*"
access="private"
+ encoding="UTF-8"
breakiterator="yes"
useexternalfile="yes"
classpath="${out.dir}"
@@ -1197,6 +1200,7 @@
additionalparam="-J-mx500M"
packagenames="org.*"
access="private"
+ encoding="UTF-8"
breakiterator="yes"
useexternalfile="yes"
classpath="${out.dir};${jars.javadoc};${junit}"