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

Reply via email to