On Wed, 12 Jan 2022 12:17:02 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.
> 
> 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.

You should only manually edit the .md files and then let pandoc generate .html 
files using `make update-build-docs`. Both types of files should then be 
included in the commit. If you have trouble generating .html files this way, 
you will need help from someone who can. Let me know when the textual content 
of this patch is considered final, then I can do it for you if you like.

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

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

Reply via email to