On Tue, 23 Mar 2021 05:32:16 GMT, Jonathan Gibbons <j...@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 <j...@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
