| 375 |
<delete dir="${docs.dir}"/> |
<delete dir="${docs.dir}"/> |
| 376 |
<mkdir dir="${docs.dir}"/> |
<mkdir dir="${docs.dir}"/> |
| 377 |
|
|
| 378 |
|
<!-- old school frames via docs/index.html?overview-summary.html --> |
| 379 |
|
<!-- dash-dash-frames no longer a supported option in jdk13+ --> |
| 380 |
|
<local name="use-frames"/> |
| 381 |
|
<condition property="use-frames"> |
| 382 |
|
<equals arg1="${build.main.javadoc}" arg2="${javadoc12}"/> |
| 383 |
|
</condition> |
| 384 |
|
|
| 385 |
<!-- the packagenames="none" hack below prevents scanning the --> |
<!-- the packagenames="none" hack below prevents scanning the --> |
| 386 |
<!-- sourcepath for packages --> |
<!-- sourcepath for packages --> |
| 387 |
|
|
| 408 |
<arg value="-XDignore.symbol.file=true"/> |
<arg value="-XDignore.symbol.file=true"/> |
| 409 |
<arg value="-html5"/> |
<arg value="-html5"/> |
| 410 |
<arg value="--patch-module=java.base=${src.dir}"/> |
<arg value="--patch-module=java.base=${src.dir}"/> |
| 411 |
<!-- old school frames via docs/index.html?overview-summary.html --> |
<arg value="--frames" if:set="use-frames"/> |
|
<!-- TODO: - -frames no longer a supported option in jdk13+ --> |
|
|
<arg value="--frames"/> |
|
| 412 |
<arg value="--override-methods=summary"/> |
<arg value="--override-methods=summary"/> |
| 413 |
<arg value="-tag"/> <arg value="${javadoc.jls.option}"/> |
<arg value="-tag"/> <arg value="${javadoc.jls.option}"/> |
| 414 |
<arg value="-tag"/> <arg value="implSpec:a:Implementation Requirements:"/> |
<arg value="-tag"/> <arg value="implSpec:a:Implementation Requirements:"/> |
Parent Directory
| 
Revision Log
| 
Patch