On Fri, 18 Nov 2022 16:32:08 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> Christoph Langer has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Fix enumeration for html > > Hm, the changes you made to the markdown file does not result in any changes > in the generated html file. :( I fixed it by adding an additional empty line > in the markdown file. The commit including both these fixes are here: > https://github.com/magicus/jdk/commit/2844de1591ee8246dfb0fb5d19664b9db1d68c3a @magicus Thanks for fixing my enumeration. I recognized that you have regenerated all the html files with a newer pandoc and I had to resolve with master. I guess you'll need to regenerate with my current branch once more - otherwise I think I'm breaking some of the new style. ------------- PR: https://git.openjdk.org/jdk/pull/11113
