From e9d93bc02b4c523519f6ca169daa12603dc3c2ea Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 11 Sep 2015 09:05:42 +0200 Subject: [PATCH] howto --- HOWTO.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/HOWTO.md b/HOWTO.md index 12f70d3d..002cde41 100644 --- a/HOWTO.md +++ b/HOWTO.md @@ -1,6 +1,9 @@ ## Make a release +Beforehand, check `grep deprecated -r src` to see whether some functions +can be removed. + 1. `make test` 2. update version in `_oasis` 3. `make update_next_tag` (to update `@since` comments; be careful not to change symlinks)