RFR: 8339789: Use index and definition tags in AnnotatedElement

Mon Sep 9 18:53:08 UTC 2024

On Mon, 9 Sep 2024 18:37:47 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Use index and definition tags in AnnotatedElement.

OK.

As a subsidiary follow-up, one might ask whether `{@index...}` should implicitly include `<dfn>` tags in its output.

-------------

Marked as reviewed by jjg (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/20919#pullrequestreview-2290700260