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

[Jonathan Gibbons]

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...

-- Jon