Does nobody build documentation?

[Joe Darcy]

Kelly O'Hair wrote:
>
> Not many jdk developers build the docs on a regular basis that I know of.
> The docs are certainly built nightly from the master area (jdk7/jdk7),
> and should be built as part of the promoted build process.
>
> I have not seen this problem before. I noticed that the sourcepath is a
> little strange:

I do build docs regularly and I'm also seeing this problem in an 
up-to-date child of JDK 7 TL I'm working with under Linux.

-Joe