Does nobody build documentation?

[Jonathan Gibbons]

Joe Darcy wrote:
> 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
>
>

I have a Hudson instance that routinely builds tl using "gnumake sanity 
clean all SKIP_BOOT_CYCLE=false" but it is not seeing any problems.
Correction: Hudson is happy, but I see that there are problems in the 
log. Perhaps we should work to make such issues hard failures.

-- Jon