git: openjdk/jdk: 8289332: Auto-generate ids for user-defined headings

[Hannes Wallnöfer]

Changeset: 8b4e6ba0
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2022-08-17 17:14:34 +0000
URL:       https://git.openjdk.org/jdk/commit/8b4e6ba01ffef77d5f1b9a9aa3e978f4da431836

8289332: Auto-generate ids for user-defined headings

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlConfiguration.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDocletWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlIds.java
+ test/langtools/jdk/javadoc/doclet/testAutoHeaderId/TestAutoHeaderId.java
! test/langtools/jdk/javadoc/doclet/testIndexInDocFiles/TestIndexInDocFiles.java