Tweak release instructions

[ci skip]
mernst · Aug 17, 2016 · 5e1eb36 · 5e1eb36
1 parent a4d8d9d
commit 5e1eb36
Showing 1 changed file with 10 additions and 7 deletions.
diff --git a/docs/README-developers b/docs/README-developers
@@ -34,17 +34,19 @@ To find new files, do
 
     git diff --name-status v`cat VERSION` | grep '^A'
 
-5. Update docs/changelog.txt and docs/VERSION.
+5. Update docs/changelog.txt.
 To help writing the changelog text, see the log and/or diffs, using one of:
 
     git log --name-status v`cat VERSION`..HEAD
     git diff v`cat VERSION`...HEAD
 
-6. Commit and push the changes in your copy of the plume-lib repository.
+6. Update the VERSION file.
+
+7. Commit and push the changes in your copy of the plume-lib repository.
 
     git push
 
-7. Wait about 2.5 hours and ensure that Travis and Jenkins jobs pass:
+8. Wait about 2.5 hours and ensure that Travis and Jenkins jobs pass:
 at least plume-lib, plume-lib-typecheck, daikon, and daikon-typecheck.
 The following commands will open the URLs in your browser.
 
@@ -57,20 +59,21 @@ The following commands will open the URLs in your browser.
     xdg-open http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/
     xdg-open http://tern.cs.washington.edu:8080/job/daikon-typecheck/
 
-8. Run the make-plume-release script located in bin:
+9. Run the make-plume-release script located in bin:
 
+    cd ..
     export JAVAC=$CHECKERFRAMEWORK/checker/bin-devel/javac
     bin/make-plume-release `cat docs/VERSION`
 
 The script requires that $JAVAC or 'javac' point to the JSR 308 compiler.
 If this is the case, then the release is built and the test cases are run.
 The release will be compatible with Java 7.
 
-9. Push the new Git tag created by the script to the repository:
+10. Push the new Git tag created by the script to the repository:
 
     git push --tags
 
-10. Make a new release on GitHub.
+11. Make a new release on GitHub.
 The exact steps are displayed at the end of the make-plume-release script. They
 are repeated below, but you must replace x.y.z with the correct version number.
  * browse to https://github.com/mernst/plume-lib/releases/new
@@ -79,7 +82,7 @@ are repeated below, but you must replace x.y.z with the correct version number.
  * description from docs/changelog.txt, with hard line breaks removed
  * attach plume-lib-x.y.z.tar.gz
 
-11. Update the web version of the Javadoc.  On a machine connected to the UW
+12. Update the web version of the Javadoc.  On a machine connected to the UW
 CSE file system:
 
     cd plume-lib/java