On Fri, 4 Mar 2022 07:51:36 GMT, Julian Waters <jwat...@openjdk.org> wrote:

>> Currently the only other option for manually configuring the build platform 
>> while cross compiling are devkits, which don't work on certain systems and 
>> are also more focused on differentiating the build and target compilers 
>> instead. This patch adds the ability to explicitly set the build platform 
>> through a new option, which can be especially helpful for when autodetection 
>> fails and devkits cannot be relied on, and also for simpler cross 
>> compilation cases (Like the one described in building.md)
>> 
>> WIP: Translation from markdown to html
>
> Julian Waters has updated the pull request incrementally with two additional 
> commits since the last revision:
> 
>  - Manual revert again, I swear I'm using the correct pandoc version, I'm 
> confused as to why this is happening
>  - I think I'm beginning to hate pandoc :(

Alright, I think I _finally_ managed to get pandoc working. It still ended up 
changing the other html files despite me using the correct version, so I had to 
manually revert the changes. Other than that, the generated documentation now 
seems to be correct when compared, and on a side note it also seems to have 
updated some documentation from commit 
https://github.com/openjdk/jdk/commit/6fab8a2d6a97dbd2ffceca275716d020cb9f1eea 
where someone else forgot to update the html copy of the docs. I doubt creating 
a new issue for that alone is worth it though

-------------

PR: https://git.openjdk.java.net/jdk/pull/7656

Reply via email to