Integrated: JDK-8265483: All-caps “JAVA” in the top navigation bar

[Jonathan Gibbons]

On Tue, 20 Apr 2021 22:36:28 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a moderately simple change to `make/Docs.gmk` to move the link for "Other Versions" from a "hidden" link in the top nav bar to an explicit link in the "bottom" text. The link is placed to appear after the sentence beginning "For more information..." and before all the legal text (i.e. trademark, copyright, license, etc)
> 
> A side effect of moving the link is that the top text reverts to its intended appearance of "Java ...", without all-caps.
> 
> As before, the presence of the link is optional, and depends on the specific docs target. It is set up to just appear for the main JDK/JavaSE documentation, and not the other docs bundles, such as docs-reference.

This pull request has now been integrated.

Changeset: 3de0dcba
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/3de0dcba
Stats:     16 lines in 1 file changed: 6 ins; 6 del; 4 mod

8265483: All-caps “JAVA” in the top navigation bar

Reviewed-by: iris, erikj

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

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