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

Wed Jan 12 12:14:26 UTC 2022

On Wed, 12 Jan 2022 11:55:39 GMT, Lance Andersen <lancea at openjdk.org> 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.

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

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