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/ 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
