From 0ce50f9c73ed3210d9f473100e2c1334ebf3b9f1 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 22 Dec 2015 16:09:32 +0100
Subject: [PATCH] fix typo in howto

---
 HOWTO.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HOWTO.adoc b/HOWTO.adoc
index 533a0d91..528d72e8 100644
--- a/HOWTO.adoc
+++ b/HOWTO.adoc
@@ -14,7 +14,7 @@ can be removed.
 6. commit the changes
 7. `git checkout stable`
 8. `git merge master`
-9. `oasis setup; make tests doc`
+9. `oasis setup; make test doc`
 10. tag, and push both to github
 11. new opam package