On Wed, 9 Aug 2023 13:51:16 GMT, Erik Joelsson <er...@openjdk.org> wrote:
>> Different versions of pandoc will create different output. The version we >> currently use is defined in `make/devkit/createPandocBundle.sh`. If you are >> unable to use this version, I can generate the file for you. > > I did just that, here is my commit: > https://github.com/erikj79/jdk/commits/JDK-8312882-contributing. Feel free to > just pull it in. Ah, thanks. Yes I was using $ dpkg -l pandoc Desired=Unknown/Install/Remove/Purge/Hold | Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend |/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad) ||/ Name Version Architecture Description +++-==============-================-============-================================= ii pandoc 2.9.2.1-3ubuntu2 amd64 general markup converter which I guess is too old. https://pandoc.org/installing.html#docker would be more predictable. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14716#discussion_r1288571869