From 9c76572e83fdaff3c35d9854df8114429efd7be1 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 14 Jun 2016 14:22:05 +0200
Subject: [PATCH] docs

---
 CHANGELOG.adoc | 2 +-
 HOWTO.adoc     | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc
index 677e85ba..7fc35080 100644
--- a/CHANGELOG.adoc
+++ b/CHANGELOG.adoc
@@ -9,7 +9,7 @@
 - add aliases to deprecated  functions from `String`, add `Fun.opaque_identity`
 - add `CCLazy_list.take`
 - add `Lazy_list.filter`
-- add CCList.range_by
+- add `CCList.range_by`
 
 == 0.17
 
diff --git a/HOWTO.adoc b/HOWTO.adoc
index de85e04c..2d62325a 100644
--- a/HOWTO.adoc
+++ b/HOWTO.adoc
@@ -16,8 +16,9 @@ can be removed.
 8. `git merge master`
 9. `oasis setup; make test doc`
 10. tag, and push both to github
-11. `opam pin https://github.com/c-cube/ocaml-containers#<release>`
+11. `opam pin add containers https://github.com/c-cube/ocaml-containers.git#<release>`
 12. new opam package: `opam publish prepare; opam publish submit`
+13. re-generate doc: `make doc push_doc`
 
 == List Authors