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

[Andrew Lu]

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

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

Commit messages:
 - Backport 6d242e406539e97bdd4da82c478db901942b770f

Changes: https://git.openjdk.org/jdk17u-dev/pull/2458/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk17u-dev&pr=2458&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8280835
  Stats: 8 lines in 1 file changed: 6 ins; 0 del; 2 mod
  Patch: https://git.openjdk.org/jdk17u-dev/pull/2458.diff
  Fetch: git fetch https://git.openjdk.org/jdk17u-dev.git pull/2458/head:pull/2458

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