diff --git a/howto_release.txt b/howto_release.txt index a445a4f80bf..dad8e783435 100644 --- a/howto_release.txt +++ b/howto_release.txt @@ -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