Integrated: 8325168: JShell should support Markdown comments

[Jan Lahoda]

On Fri, 2 Feb 2024 14:02:28 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> This is an attempt to add Markdown support in documentation comments to JShell.
> 
> It works by converting the Markdown text to HTML during the process of resolving `{@inheritDoc}` tags.

This pull request has now been integrated.

Changeset: 8d3de45f
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/8d3de45f4dfd60dc4e2f210cb0c085fcf6efb8e2
Stats:     2056 lines in 9 files changed: 1209 ins; 842 del; 5 mod

8325168: JShell should support Markdown comments

Reviewed-by: jjg

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

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