From 449bfb1d5879d547b396db2dd7ec5193b2aef20b Mon Sep 17 00:00:00 2001
From: Arnaud Bore <arnaud.bore@gmail.com>
Date: Fri, 26 Jul 2024 09:41:43 -0400
Subject: [PATCH] Update publish_doc.yaml

delete dev before deploying it.
---
 .github/workflows/publish_doc.yaml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/publish_doc.yaml b/.github/workflows/publish_doc.yaml
index cf15ea21..d4128bdf 100644
--- a/.github/workflows/publish_doc.yaml
+++ b/.github/workflows/publish_doc.yaml
@@ -81,5 +81,6 @@ jobs:
         if: ${{ github.ref == 'refs/heads/dev' }}
         run: |
           VERSION=$(dcm2bids -v | awk '/dcm2bids/ {print $3}')
-          echo "Version: $VERSION"
+          echo "Version: ${VERSION}-dev"
+          mike delete dev
           mike deploy -p dev dev -u