On Fri, 29 Oct 2021 13:09:31 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
> JDK-8275786: New javadoc option to add script files to generated documentation This pull request has now been integrated. Changeset: 9862cd07 Author: Hannes Wallnöfer <hann...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/9862cd07c162fcc9cd5cbdd0aab564f446f9256c Stats: 135 lines in 12 files changed: 106 ins; 5 del; 24 mod 8275786: New javadoc option to add script files to generated documentation Reviewed-by: jjg ------------- PR: https://git.openjdk.java.net/jdk/pull/6173
