1
0
apache-commons-pool/jakarta-commons-pool-build.patch
Tomáš Chvátal bf804f1d08 - Rename from jakarta-commons-pool to apache-commons-pool
- Version update to 1.6:
  * drop the tomcat5 package, we need pool2 to work with new tomcat
  * Last and final from the pool1 series, new pool2 was introduced
    for future developement.

OBS-URL: https://build.opensuse.org/package/show/Java:packages/apache-commons-pool?expand=0&rev=7
2016-09-29 11:10:24 +00:00

14 lines
415 B
Diff

Index: build.xml
===================================================================
--- build.xml.orig
+++ build.xml
@@ -94,7 +94,7 @@
nonavbar="false"
serialwarn="false"
source="${javac.src.version}">
- <link href="http://java.sun.com/j2se/1.4.2/docs/api"/>
+ <link href="file://usr/share/javadoc/java"/>
</javadoc>
</target>