From af9c5fb18f4d8e9e21612741e07f2a4cd547a52a Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Sat, 3 Jul 2021 12:34:01 +0200
Subject: [PATCH] Dev docs

---
 doc/dev.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/doc/dev.md b/doc/dev.md
index 915e8b8..da1d953 100644
--- a/doc/dev.md
+++ b/doc/dev.md
@@ -41,3 +41,13 @@ To deploy to Github Pages:
 ```
 script/release
 ```
+
+To create a new release:
+
+```
+cd gh-pages
+git checkout -b v0.0.2
+git push --set-upstream origin v0.0.2
+```
+
+Then make a new release on Github with the `v0.0.2` tag.