On Sun, 14 Jan 2024 03:59:59 GMT, Jan Kratochvil <jkratoch...@openjdk.org> wrote:
> Similar to JDK-8309287. If building.md is modified, building.html also has to be refreshed by running make update-build-docs ------------- PR Comment: https://git.openjdk.org/jdk/pull/17415#issuecomment-1891327712
