Support disabling documentation build via --no-build-docs.