On Wed, 9 Oct 2024 17:49:23 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
> JavaDoc also generates index items for documentation headings, these are not > included in search-tags.html. This seems worth discussing. "Module Resolution" is one heading that could be indexed, while there are others on the same page that arguably should not be. https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/module/package-summary.html ------------- PR Comment: https://git.openjdk.org/jdk/pull/21429#issuecomment-2403161157
