RFR: 8279877: Document IDEA IDE setup in docs/ide.md

[Lance Andersen]

On Wed, 12 Jan 2022 12:10:50 GMT, Daniel Jelinski <duke at openjdk.java.net> wrote:

> > (...) As far as I am aware, the ide.html should be generated from the ide.md so you should only need to modify ide.md
> 
> Are you sure about this? The discussion on #5676 suggests that the HTML files need to be modified.
> 
> I wouldn't mind not having to edit htmls; `make update-build-docs` is broken on Cygwin, and I had to fix paths in compile commands manually.

Yes pandoc as far as I am aware should be generating the html so lets wait for Erik to comment as it seems strange to have to do both and would be better to address the issue so only one file needs updated if there is indeed an issue.

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

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