RFR: 8340565: Create separate index page for terms defined by the index tag

[Hannes Wallnöfer]

On Thu, 10 Oct 2024 16:01:47 GMT, Jonathan Gibbons <jjg at 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