On Mon, 10 May 2021 19:10:15 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review a change for JavaDoc, for the Standard Doclet to copy legal > header files into the generated docs from a default or designated directory. This pull request has now been integrated. Changeset: e9f3e325 Author: Jonathan Gibbons <j...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/e9f3e325c274f19b0f6eceea2367708e3be689e9 Stats: 267 lines in 10 files changed: 261 ins; 0 del; 6 mod 8259530: Generated docs contain MIT/GPL-licenced works without reproducing the licence Reviewed-by: prappo ------------- PR: https://git.openjdk.java.net/jdk/pull/3954
