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}"/> |