On Fri, 19 Feb 2021 18:51:44 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> This change addresses a bug that was observed while playing with small demo > API: some files may be generated twice. > > The fix is to build a single set of the files to be generated. > > Note: this bug also affected the generation of the main JDK API docs. > According to the log file, before the fix we were generating 14812 files; > now, we are generating only 10146 files! That's a drop of 4466 files or over > 30%! This pull request has now been integrated. Changeset: 53b15453 Author: Jonathan Gibbons <j...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/53b15453 Stats: 144 lines in 4 files changed: 128 ins; 9 del; 7 mod 8223355: Redundant output by javadoc Reviewed-by: hannesw ------------- PR: https://git.openjdk.java.net/jdk/pull/2652