README-builds.html

[Andrew Haley]

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.

Andrew.