RFR: JDK-8263198: javadoc HELP page [v2]
Jonathan Gibbons
jjg at openjdk.java.net
Wed Mar 24 19:49:01 UTC 2021
> 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
More information about the javadoc-dev
mailing list