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

[Jonathan Gibbons]

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).

This pull request has now been integrated.

Changeset: f54a336c
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/f54a336cb7f147e618f81e4045b5050f93fa4c46
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

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

Reviewed-by: erikj

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

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