From 3b289c1569897968e735b3ee8e54e92491780fbb Mon Sep 17 00:00:00 2001 From: Jacek Laskowski Date: Wed, 31 Jul 2013 23:57:48 +0200 Subject: [PATCH] Update CONTRIBUTING.md --- CONTRIBUTING.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 18e4954c2..6cacad272 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -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: - /target/sbt-launch-0.13.0-SNAPSHOT.jar + /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. \ No newline at end of file +To only build API documentation, run `doc`. Sphinx is not required for generating API or SXR documentation.