On Wed, 12 Jan 2022 11:55:39 GMT, Lance Andersen <lan...@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
