| 372 |
|
<target name="docs" |
| 373 |
|
description="Builds javadocs for src/main to dist dir"> |
| 374 |
|
|
| 375 |
< |
<delete dir="${docs.dir}"/> |
| 375 |
> |
<delete dir="${docs.dir}" quiet="true"/> |
| 376 |
|
<mkdir dir="${docs.dir}"/> |
| 377 |
|
|
| 378 |
|
<!-- old school frames via docs/index.html?overview-summary.html --> |
| 405 |
|
</fileset> |
| 406 |
|
<arg line="-Xdocrootparent ${java.docroot.url}"/> |
| 407 |
|
<arg line="-Xmaxerrs 1000 -Xmaxwarns 1000"/> |
| 408 |
+ |
<arg value="-quiet"/> |
| 409 |
|
<arg value="-XDignore.symbol.file=true"/> |
| 410 |
|
<arg value="-html5"/> |
| 411 |
|
<arg value="--patch-module=java.base=${src.dir}"/> |
