On Fri, 26 May 2023 14:36:30 GMT, Hannes Wallnöfer <hann...@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 <hann...@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
