On Thu, 14 Nov 2024 12:29:38 GMT, Christian Stein <cst...@openjdk.org> wrote:
> Now `CheckManPageOptions` finds the `.md` file (good) and its checks fail > (bad). *sigh* > A candidate for an ignore list as fixing it is out of scope of this PR? Let me have a look at it first. It seems the test has the indention to handle markdown files, so maybe there is an easy fix. ------------- PR Comment: https://git.openjdk.org/jdk/pull/22081#issuecomment-2476258243
