Integrated: JDK-8267575: Add new documentation group in HtmlStyle

Tue May 25 14:57:58 UTC 2021

On Sat, 22 May 2021 20:57:39 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a relatively simple primarily-doc update for HtmlStyle.
> 
> The change is mostly grouping and commenting items.
> 
> Some existing comments were incorrect and have been updated.

This pull request has now been integrated.

Changeset: cc687fd4
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/cc687fd43ade6be8760c559f3ffa909c5937727c
Stats:     89 lines in 1 file changed: 75 ins; 12 del; 2 mod

8267575: Add new documentation group in HtmlStyle

Reviewed-by: hannesw

-------------

PR: https://git.openjdk.java.net/jdk/pull/4155