Re: RFR: 8013552: Add build support for different man pages for OpenJDK and OracleJDK

[Joe Darcy]

On 05/02/2013 09:38 AM, Jonathan Gibbons wrote:

On 05/02/2013 08:58 AM, Andrew Hughes wrote:

  The man pages in the

>jdk source tree are generated files that the docs team periodically updates.

>

Will the source files be added to the OpenJDK trees at some point?

Purely from a curiosity point of view, this also begs the side question of

what format are the source files in...

The original source of the man pages is a stylized subset of HTML.

-Joe