RFR: JDK-8282532: Allow explicitly setting build platform alongside --openjdk-target [v10]

[Julian Waters]

On Fri, 4 Mar 2022 07:51:36 GMT, Julian Waters <jwaters at 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