Integrated: 8298405: Implement JEP 467: Markdown Documentation Comments

[Jonathan Gibbons]

On Thu, 26 Oct 2023 23:29:00 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a patch to add support for Markdown syntax in documentation comments, as described in the associated JEP.
> 
> Notable features:
> 
> * support for `///` documentation comments in `JavaTokenizer`
> * new module `jdk.internal.md` -- a private copy of the `commonmark-java` library
> * updates to `DocCommentParser` to treat `///` comments as Markdown
> * updates to the standard doclet to render Markdown comments in HTML

This pull request has now been integrated.

Changeset: 0a58cffe
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/0a58cffe88ba823e71fcdcca64b784ed04ca5398
Stats:     26546 lines in 250 files changed: 25839 ins; 257 del; 450 mod

8298405: Implement JEP 467: Markdown Documentation Comments
8329296: Update Elements for '///' documentation comments

Co-authored-by: Jim Laskey <jlaskey at openjdk.org>
Reviewed-by: prappo, darcy, hannesw

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

PR: https://git.openjdk.org/jdk/pull/16388