On Wed, 12 Jan 2022 12:10:50 GMT, Daniel Jelinski <d...@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