From a9b2edc88ebbd003848bf595c0d38abbc7e9a982 Mon Sep 17 00:00:00 2001
From: Simone Basso <bassosimone@gmail.com>
Date: Wed, 13 Nov 2019 18:31:19 +0100
Subject: [PATCH] Readme.md: briefly document release procedure

---
 Readme.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Readme.md b/Readme.md
index 4924447..2f144ca 100644
--- a/Readme.md
+++ b/Readme.md
@@ -15,3 +15,11 @@ Run
 
 to get information on the supported systems as well as to get
 instructions on how to install dependencies.
+
+## Releasing
+
+```bash
+./build.sh release
+```
+
+and follow instructions.