[jdk17u-dev] Integrated: 8280835: jdk/javadoc/tool/CheckManPageOptions.java depends on source hierarchy

Tue May 14 08:23:06 UTC 2024

On Mon, 13 May 2024 08:25:42 GMT, Andrew Lu <andrewlu at openjdk.org> wrote:

> I backport this for parity with 17.0.12-oracle.

This pull request has now been integrated.

Changeset: e0dba38e
Author:    Andrew Lu <andrewlu at openjdk.org>
URL:       https://git.openjdk.org/jdk17u-dev/commit/e0dba38e6bdcf0f9589d6bf2fa9a8ea0887696c3
Stats:     8 lines in 1 file changed: 6 ins; 0 del; 2 mod

8280835: jdk/javadoc/tool/CheckManPageOptions.java depends on source hierarchy

Backport-of: 6d242e406539e97bdd4da82c478db901942b770f

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

PR: https://git.openjdk.org/jdk17u-dev/pull/2458