GitHub user ScrapCodes opened a pull request:
https://github.com/apache/spark/pull/17983
[SPARK-20738][BUILD] Hide building of docs in sbt behind an option.
sbt publish-local tries to build the docs along with other artifacts
and as the codebase is being updated with no build checks for sbt docs
build.
It appears to be difficult to upkeep the correct building of docs with sbt.
An alternative is that, we hide building of docs behind an option
`-Dbuild.docs=false`.
This is also useful, if someone uses sbt publish and does not need the
building of docs
as it is generally time consuming.
## How was this patch tested?
Manually running the build with and without the option.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/ScrapCodes/spark build-docs-sbt
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/spark/pull/17983.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #17983
----
commit a43159e6b58dba70e11b5f2f52abbc2ab4a577dc
Author: Prashant Sharma <[email protected]>
Date: 2017-05-15T06:53:58Z
[BUILD][MINOR] Hide building of docs in sbt behind an option.
sbt publish-local tries to build the docs along with other artifacts
and as the codebase is being updated with no build checks for sbt docs
build.
It appears to be difficult to upkeep the correct building of docs with sbt.
An alternative is that, we hide building of docs behind an option
`-Dbuild.docs=false`.
This is also useful, if someone uses sbt publish and does not need the
building of docs
as it is generally time consuming.
----
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
