update howto

This commit is contained in:
Simon Cruanes 2015-08-11 19:50:18 +02:00
parent e3376bd21a
commit 178c50903a

View file

@ -4,12 +4,14 @@
1. `make test` 1. `make test`
2. update version in `_oasis` 2. update version in `_oasis`
3. `make update_next_tag` (to update `@since` comments; be careful not to change symlinks) 3. `make update_next_tag` (to update `@since` comments; be careful not to change symlinks)
4. update `CHANGELOG.md` (see its end to find the right git command) 4. check status of modules (`{b status: foo}`) and update if required;
5. commit the changes removed deprecated functions, etc.
6. `git checkout stable; oasis setup` 5. update `CHANGELOG.md` (see its end to find the right git command)
7. `git merge master` 6. commit the changes
8. tag, and push both to github 7. `git checkout stable; oasis setup`
9. new opam package 8. `git merge master`
9. tag, and push both to github
10. new opam package
## List Authors ## List Authors