RFR: JDK-8324231: bad command-line option in make/Docs.gmk

Erik Joelsson erikj at openjdk.org
Fri Jan 19 23:11:26 UTC 2024


On Fri, 19 Jan 2024 22:47:59 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review an almost trivial change to move the position of an HTML end tag to avoid nested use of the tag.
> 
> There is no change to the visual presentation, because the macro `$(DRAFT_MARKER_STR)` itself uses `<strong>` (that was the cause of the nested tags).

Marked as reviewed by erikj (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/17505#pullrequestreview-1833925298


More information about the build-dev mailing list