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 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/ ------------- Commit messages: - JDK-8286470: Support searching for sections in class/package javadoc Changes: https://git.openjdk.org/jdk/pull/14179/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=14179&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8286470 Stats: 135 lines in 5 files changed: 70 ins; 14 del; 51 mod Patch: https://git.openjdk.org/jdk/pull/14179.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/14179/head:pull/14179 PR: https://git.openjdk.org/jdk/pull/14179