From 48508d508ac4b8710026ff3a7e795f85164023df Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Sat, 3 Jul 2021 13:03:22 +0200
Subject: [PATCH] doc

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

diff --git a/doc/dev.md b/doc/dev.md
index 337509b..52617f0 100644
--- a/doc/dev.md
+++ b/doc/dev.md
@@ -52,6 +52,8 @@ bb release
 cd gh-pages
 git checkout -b v0.0.2
 git push --set-upstream origin v0.0.2
+git checkout gh-pages
+cd ..
 ```
 
 Then make a new release on Github with the `v0.0.2` tag.