Add step to update readthedocs to avoid #93 again

EntilZha · Feb 1, 2017 · f1a80101fee671bbfa5d53cd457e72c213aa11a9 · f1a8010
1 parent 7344333
commit f1a80101fee671bbfa5d53cd457e72c213aa11a9
Showing with 2 additions and 1 deletion.

+2 −1 DEVELOPER.md
diff --git a/DEVELOPER.md b/DEVELOPER.md
@@ -40,7 +40,8 @@ means uploading to live pypi and tagging the commit as a release.
 2. Repeat install tests from Test PyPI testing
 3. Tag the release on git with `git tag -a vX.X.X`. Then run `git push` and `git push --tags`
 4. On Github, create/edit the release page to match the changelog and add discussion
-5. Celebrate!
+5. On readthedocs bump the documentation version number
+6. Celebrate!
 
 
 ### `.pypirc` file