Integrated: JDK-8289332: Auto-generate ids for user-defined headings

[Hannes Wallnöfer]

On Mon, 25 Jul 2022 15:10:36 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> This is a simple change to automatically generate `id` attributes for HTML headers in documentation comments. 
> 
> I decided to leave the functionality in `HtmlDocletWriter` rather than moving it to `HtmlIds` because it uses the same helper methods as`commentTagsToContent`.
> 
> The value of the `id` attribute id derived from the content of the header tag with spaces and other non-word characters replaced by `-`. A `-hdr` suffix is appended to avoid collisions with other ids. If there are duplicate values an int counter is appended to make them unique.

This pull request has now been integrated.

Changeset: 8b4e6ba0
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/8b4e6ba01ffef77d5f1b9a9aa3e978f4da431836
Stats:     201 lines in 5 files changed: 190 ins; 6 del; 5 mod

8289332: Auto-generate ids for user-defined headings

Reviewed-by: jjg

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

PR: https://git.openjdk.org/jdk/pull/9627