On Thu, 10 Oct 2024 16:01:47 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Just asking: is it publicly documented anywhere that headings go into the
> interactive search?
Good question, I don't think so. I think it could/should be documented in the
spec for the `{@index}` tag, maybe also the Standard Doclet output spec?
-------------
PR Comment: https://git.openjdk.org/jdk/pull/21429#issuecomment-2406789704
