From dbd18f90e7b184d12f14533e76e5915dbe4a2051 Mon Sep 17 00:00:00 2001
From: "andy.boot" <bootandy@gmail.com>
Date: Wed, 17 Jul 2024 19:27:53 +0100
Subject: [PATCH] docs: update release procedure

Previously I accidentally tagged a release before building it leading
to an out of date Cargo.lock file.
---
 ci/how2publish.txt | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/ci/how2publish.txt b/ci/how2publish.txt
index 0560f54..0981053 100644
--- a/ci/how2publish.txt
+++ b/ci/how2publish.txt
@@ -1,16 +1,21 @@
 # ----------- To do a release ---------
+
+# ----------- Pre release ---------
 # Compare times of runs to check no drastic slow down:
 #  hyperfine 'target/release/dust /home/andy'
 #  hyperfine 'dust /home/andy'
 
-# edit version in cargo.toml
+# ----------- Release ---------
+# inc version in cargo.toml
 # cargo build --release
 # commit changed files
+# merge to master in github
+
 # tag a commit and push (increment version in Cargo.toml first):
 #   git tag v0.4.5
 #   git push origin v0.4.5
 
 # cargo publish to put it in crates.io
  
-# To install locally [Do before pushing it]
+# Optional: To install locally
 #cargo install --path .