> 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.)
Jonathan Gibbons has updated the pull request incrementally with one additional commit since the last revision: Fix bad reference in property ------------- Changes: - all: https://git.openjdk.java.net/jdk/pull/3144/files - new: https://git.openjdk.java.net/jdk/pull/3144/files/f4b36906..6ba42336 Webrevs: - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=3144&range=01 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=3144&range=00-01 Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod Patch: https://git.openjdk.java.net/jdk/pull/3144.diff Fetch: git fetch https://git.openjdk.java.net/jdk pull/3144/head:pull/3144 PR: https://git.openjdk.java.net/jdk/pull/3144
