Skip to content

Commit

Permalink
removing outdated docs release instructions
Browse files Browse the repository at this point in the history
  • Loading branch information
@ccoffrin
ccoffrin committed Jun 15, 2017
1 parent a9d2ff0 commit 752a2ab
Showing 1 changed file with 1 addition and 4 deletions.
5 changes: 1 addition & 4 deletions howto_release.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,6 @@ This note serves as developer documentation for the JuMP release process, which
Steps for a new major (0.xx) release:

- Update NEWS.md
- Update version and release in doc/conf.py
- Create release-0.xx branch
- Run "make html" in doc/. Copy doc/_build/html to new directory in gh-pages branch
- Update version link in doc/warn.rst.
- Update version and branches in README
- Update version and branches in README.md
- Check that CI passes on release branch

0 comments on commit 752a2ab

Please sign in to comment.