On Mon, 12 Aug 2024 18:55:47 GMT, Joe Darcy <da...@openjdk.org> wrote:
>> Looks fine; increasing review count to also include someone who more
>> directly maintains this API.
>>
>> If you haven't done so already, I recommend also doing a quick check for an
>> analagous issue with `@jls` tags in this API.
>
>> @jddarcy Perhaps we should revisit the inline forms of `@jls` and `@jvms`
>> tags to come up with similar and more consistent usage.
>
> Certainly a variant do generate the most common usage pattern would be
> helpful -- brainstorming --
>
> `{@jvms cite 1.2.3}`
>
> to generate
>
> (JVMVS 1.2.3)
>
> where "1.2.3" was the expected link.
Hi @jddarcy, just checking in if the update looks good prior to integration.
-------------
PR Comment: https://git.openjdk.org/jdk/pull/20513#issuecomment-2287112583
