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