Hi Magnus,
On 4/11/2020 6:50 am, Magnus Ihse Bursie 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.)
I'd say there is a certainty that some man page content will still be
updated before FC. Last time we at least waited until after RDP1 before
doing the bulk update.
And I'm not sure this is really something that should be classified as a
build task that only folk on build-dev will see.
Cheers,
David
-------------
Commit messages:
- 8255853: Update all nroff manpages for JDK 16 release
Changes: https://git.openjdk.java.net/jdk/pull/1043/files
Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=1043&range=00
Issue: https://bugs.openjdk.java.net/browse/JDK-8255853
Stats: 334 lines in 28 files changed: 202 ins; 25 del; 107 mod
Patch: https://git.openjdk.java.net/jdk/pull/1043.diff
Fetch: git fetch https://git.openjdk.java.net/jdk pull/1043/head:pull/1043
PR: https://git.openjdk.java.net/jdk/pull/1043