On Wed, 19 Apr 2023 13:08:31 GMT, Erik Joelsson <er...@openjdk.org> wrote:
> I see we have this style of tables already present in building.md, so it > should be fine. Generating building.html from this does cause a diff to the > html file, so those still need to go in together. Please find a regenerated > building.html in my branch here: > https://github.com/erikj79/jdk/tree/JDK-8306408-regen-building.html Thanks! ------------- PR Comment: https://git.openjdk.org/jdk/pull/13523#issuecomment-1514926853