From 178c50903a6a86d24e3d065c9e19ec1691abfaa8 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 11 Aug 2015 19:50:18 +0200
Subject: [PATCH] update howto

---
 HOWTO.md | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/HOWTO.md b/HOWTO.md
index d53f4f3b..12f70d3d 100644
--- a/HOWTO.md
+++ b/HOWTO.md
@@ -4,12 +4,14 @@
 1. `make test`
 2. update version in `_oasis`
 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)
-5. commit the changes
-6. `git checkout stable;  oasis setup`
-7. `git merge master`
-8. tag, and push both to github
-9. new opam package
+4. check status of modules (`{b status: foo}`) and update if required;
+   removed deprecated functions, etc.
+5. update `CHANGELOG.md` (see its end to find the right git command)
+6. commit the changes
+7. `git checkout stable;  oasis setup`
+8. `git merge master`
+9. tag, and push both to github
+10. new opam package
 
 ## List Authors