In many cases developers are not really interested in building the whole JDK. Specifically, experiments have shown that building docs can take significant time.

It would be good to have an option to control whether docs should be built or not, something like --disable-docs.