Integrated: JDK-8251210: Link JDK api docs to other versions

Mon Mar 8 16:23:06 UTC 2021

On Sat, 6 Mar 2021 02:21:00 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a small change to Docs.gmk, such that the short version string in the upper right corner of the main API docs bundle is linked to a page that links to other versions of the documentation.  While it is not so useful in this release, to be able to access _older_ versions, going forward, this will simplify the ability to get to _newer_ versions when search engines take you to the docs for an older release.

This pull request has now been integrated.

Changeset: b1cc864a
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/b1cc864a
Stats:     10 lines in 2 files changed: 9 ins; 0 del; 1 mod

8251210: Link JDK api docs to other versions

Reviewed-by: iris, erikj

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

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