On Wed, 19 Apr 2023 15:27:17 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> Jonathan Gibbons has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> address review feedback
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/parser/DocCommentParser.java
> line 82:
>
>> 80: /** The initial part of an HTML file up to and including the
>> {@code body} and possible {@code <main>} tag. */
>> 81: PREAMBLE,
>> 82: /** The initial part of a doc comment, or the rich-text content
>> of a block tag. */
>
> Curious: is "initial part of a doc comment" the same as what we now call
> [main
> description](https://docs.oracle.com/en/java/javase/20/docs/specs/javadoc/doc-comment-spec.html#main-description)?
Yes, will change, for clarification and to better distinguish it from the
description for PREAMBLE
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/13431#discussion_r1171522500
