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

Fri May 26 18:40:12 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/

This pull request has now been integrated.

Changeset: a9236346
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/a92363461dbe67d8736a6b0c3cbe1c3ad7aa28ae
Stats:     135 lines in 5 files changed: 70 ins; 14 del; 51 mod

8286470: Support searching for sections in class/package javadoc

Reviewed-by: jjg

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

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