From 56f1324a1b0601468495b636bc02d0cfed501f3e Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Tue, 17 May 2022 21:23:45 +0200
Subject: [PATCH] docs

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

diff --git a/doc/dev.md b/doc/dev.md
index bb8223e..9bc0dc7 100644
--- a/doc/dev.md
+++ b/doc/dev.md
@@ -76,13 +76,14 @@ After cloning this repo to a new dir:
 
 ```
 git fetch origin gh-pages
+git worktree prune
 git worktree add gh-pages gh-pages
 ```
 
 To deploy to Github Pages:
 
 ```
-bb release
+script/release.clj
 ```
 
 To create a new release: