On Mon, 22 Apr 2024 17:38:59 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> The document [How to Write Doc Comments for the Javadoc > Tool](https://www.oracle.com/uk/technical-resources/articles/java/javadoc-tool.html) > is depressingly obsolete, as indicated by this text towards the end: I know. Yet there's nothing newer, is there? ------------- PR Comment: https://git.openjdk.org/jdk/pull/18846#issuecomment-2070433346