204 |
|
<!-- <property name="java11.docroot.url" value="http://download.java.net/java/jdk11/docs"/> --> |
205 |
|
<property name="java12.docroot.url" value="https://download.java.net/java/jdk12/docs"/> |
206 |
|
<!-- Default jdk doc location (latest stable release seems best) --> |
207 |
< |
<property name="java.docroot.url" value="${java11.docroot.url}"/> |
207 |
> |
<!-- But pin to jdk 10 until fix for --> |
208 |
> |
<!-- 8211194: javadoc -link doesn't take module path into consideration --> |
209 |
> |
<property name="java.docroot.url" value="${java10.docroot.url}"/> |
210 |
|
|
211 |
|
<!-- Canonical location of jdk API docs, to use with javadoc link attribute --> |
212 |
|
<property name="java5.api.url" value="${java5.docroot.url}/api/"/> |
398 |
|
<sequential> |
399 |
|
<property name="build.main.java" value="${java@{v}}"/> |
400 |
|
<property name="build.main.javac" value="${javac@{v}}"/> |
401 |
< |
<!-- Force javadoc version to be at least 10, |
402 |
< |
so we can use override-methods=summary --> |
401 |
> |
<!-- Force javadoc version to be at least 10, so we can use override-methods=summary --> |
402 |
> |
<!-- Force javadoc version to be at least 12, due to JDK-8202628 --> |
403 |
|
<condition property="build.main.javadoc" |
404 |
< |
value="${javadoc11}" |
404 |
> |
value="${javadoc12}" |
405 |
|
else="${javadoc@{v}}"> |
406 |
< |
<equals arg1="@{v}" arg2="9"/> |
406 |
> |
<matches pattern="^(9|10|11)$" string="@{v}"/> |
407 |
|
</condition> |
408 |
|
</sequential> |
409 |
|
</macrodef> |
412 |
|
<target name="dists" |
413 |
|
depends="dist, 4jdk8dist" |
414 |
|
description="Builds all public jars and docs"/> |
415 |
< |
<!-- |
414 |
< |
depends="dist, 4jdk8dist, 4jdk7dist, jsr166edist, jsr166ydist, extra166ydist, jsr166xdist" |
415 |
< |
--> |
415 |
> |
<!-- no longer supported: 4jdk7dist, jsr166edist, jsr166ydist, extra166ydist, jsr166xdist --> |
416 |
|
|
417 |
|
<target name="compile" |
418 |
|
depends="configure-compiler" |
481 |
|
<!-- TODO: <arg line="- -module-source-path ${jdk9.home}/src.zip"/> --> |
482 |
|
<javadoc destdir="${docs.dir}" |
483 |
|
packagenames="none" |
484 |
< |
link="${java10.api.url}" |
484 |
> |
link="${java11.api.url}" |
485 |
|
overview="${src.dir}/intro.html" |
486 |
|
access="${build.javadoc.access}" |
487 |
|
sourcepath="${src.dir}" |
496 |
|
<arg value="-XDignore.symbol.file=true"/> |
497 |
|
<arg value="-html5"/> |
498 |
|
<arg value="--patch-module=java.base=${src.dir}"/> |
499 |
+ |
<arg value="--frames"/> |
500 |
|
<arg value="--override-methods=summary"/> |
501 |
|
<arg value="-tag"/> <arg value="${javadoc.jls.option}"/> |
502 |
|
<arg value="-tag"/> <arg value="implSpec:a:Implementation Requirements:"/> |