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.
