From bd47e36107f6ab6ba601d16b7bddaeec6def0e6d Mon Sep 17 00:00:00 2001
From: Andrea Luzzardi <aluzzardi@gmail.com>
Date: Fri, 21 May 2021 13:58:36 -0700
Subject: [PATCH] docs: fix versioning

Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>
---
 .github/workflows/docs.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 8c7e5141..66b9c24f 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -23,7 +23,9 @@ jobs:
     steps:
       - name: Set Version
         id: vars
-        run: echo ::set-output name=tag::${${GITHUB_REF#refs/*/}//main/devel}
+        run: |
+          tag=${GITHUB_REF#refs/*/}
+          [ "$tag" = "main" ] && echo ::set-output name=tag::devel || echo ::set-output name=tag::$tag
 
       # fetch-depth: '0' enables listing all tags for version selector
       - uses: actions/checkout@v2