On Sun, 14 Jan 2024 03:59:59 GMT, Jan Kratochvil <jkratochvil at 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