README-builds.html

[Chris Hegarty]

On 18/06/2012 18:25, Andrew Haley wrote:
> The README-builds.html instructions say...
>
> Slow Builds:
>
>      ...
>
>      Creating the javadocs can be very slow, if you are running
>      javadoc, consider skipping that step.
>
> But there is no information I can find about how to skip that step: I
> think it's NO_DOCS=true.

Right, good catch. I always build with NO_DOCS=true, can save quite a 
bit of time on a slow machine. Docs should be updated.

-Chris.

>
> Andrew.