mirror of https://github.com/sbt/sbt.git
Update CONTRIBUTING.md
This commit is contained in:
parent
701206b54d
commit
3b289c1569
|
|
@ -63,7 +63,7 @@ See below for details on getting sbt sources and modifying the documentation.
|
|||
|
||||
If using the 0.13 development branch, the launcher is at:
|
||||
|
||||
<sbt>/target/sbt-launch-0.13.0-SNAPSHOT.jar
|
||||
<sbt>/target/sbt-launch-0.13.1-SNAPSHOT.jar
|
||||
|
||||
## Modifying sbt
|
||||
|
||||
|
|
@ -73,7 +73,7 @@ See below for details on getting sbt sources and modifying the documentation.
|
|||
|
||||
3. After each `publish-local`, clean the `~/.sbt/boot/` directory. Alternatively, if sbt is running and the launcher hasn't changed, run `reboot full` to have sbt do this for you.
|
||||
|
||||
4. If a project has `project/build.properties` defined, either delete the file or change `sbt.version` to `0.13.0-SNAPSHOT`.
|
||||
4. If a project has `project/build.properties` defined, either delete the file or change `sbt.version` to `0.13.1-SNAPSHOT`.
|
||||
|
||||
## Building Documentation
|
||||
|
||||
|
|
@ -87,4 +87,4 @@ $ pip install sphinxcontrib-issuetracker
|
|||
|
||||
To build the full site, run the `make-site` task, which will generate the manual, API, SXR, and other site pages in `target/site/`.
|
||||
To only work on the site and not API or SXR, run `sphinx:mappings`.
|
||||
To only build API documentation, run `doc`. Sphinx is not required for generating API or SXR documentation.
|
||||
To only build API documentation, run `doc`. Sphinx is not required for generating API or SXR documentation.
|
||||
|
|
|
|||
Loading…
Reference in New Issue