RFR: JDK-8286470: Support searching for sections in class/package javadoc

Fri May 26 15:03:02 UTC 2023

On Fri, 26 May 2023 14:36:30 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review a change to generate search index entries for all HTML headings in the documentation comments and auxiliary files. The change is relatively straightforward, new code replaces and complements the code to generate `id` attributes for all headings.
> 
> JDK API docs generated with this change are available here: https://cr.openjdk.org/~hannesw/8286470/api.00/

Nice to see more uses of the index.

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

Marked as reviewed by jjg (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/14179#pullrequestreview-1446424091