Integrated: JDK-8263198: javadoc HELP page

[Jonathan Gibbons]

On Tue, 23 Mar 2021 05:32:16 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review an update to the structure and some of the content of the generated Help page, focussed on the following:
> 
> * A new section at the top of the Help page headed "Navigation", providing an overview of how to navigate around the docs. 
> * The HELP button in the top navbar for each kind of generated page now links to the corresponding section in the help page. This implies the need for some additional sections, which are now provided.
> 
> Given other ongoing work, it is likely that there will be additional improvements to the content still to come.
> 
> We have talked about reordering the buttons in the navbar. At the same time, we might want to consider the order of sections in the page (as a separate issue.)

This pull request has now been integrated.

Changeset: 3e751a5a
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/3e751a5a
Stats:     457 lines in 14 files changed: 312 ins; 49 del; 96 mod

8263198: javadoc HELP page

Reviewed-by: hannesw

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

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