Integrated: 8255853: Update all nroff manpages for JDK 16 release

Tue Nov 3 22:19:56 UTC 2020

On Tue, 3 Nov 2020 20:43:01 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> The man pages in src/$module/man/*.1 is generated from the (unfortunately still) closed markdown sources.
> 
> These needs to be updated for JDK 16. During this updating, a typo in the GPL header is also fixed (which caused Oracle's internal header verification tool to complain) -- a double space had been collapsed into a single space.
> 
> There is a certain possibility that man page content can still change for JDK 16. If that is the case, the export needs to be re-done. (In contrast to prior exports, we now have a standard way of doing this, so it's trivial to update.)

This pull request has now been integrated.

Changeset: 622f72bc
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/622f72bc
Stats:     334 lines in 28 files changed: 202 ins; 25 del; 107 mod

8255853: Update all nroff manpages for JDK 16 release

Reviewed-by: erikj

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

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