Chore: Add Ubuntu 20.04 build label for 4c-16g hw

[releng/builder.git] / jjb / docs / docs-post-rtd.sh

diff --git a/jjb/docs/docs-post-rtd.sh b/jjb/docs/docs-post-rtd.sh
index 5c8d8c52f516feac6581b2dde1f72f2248fe62d3..bc852bd4bc6711f8b81f4abbe898c8bea54ac34b 100644 (file)
--- a/jjb/docs/docs-post-rtd.sh
+++ b/jjb/docs/docs-post-rtd.sh
@@ -1,8 +1,8 @@
-#!/bin/bash
-if [ "$GERRIT_BRANCH" == "master" ]; then
+#!/bin/sh
+if [ "$GERRIT_BRANCH" = "master" ]; then
     RTD_BUILD_VERSION=latest
 else
-    RTD_BUILD_VERSION="${{GERRIT_BRANCH/\//-}}"
+    RTD_BUILD_VERSION=$(echo "$GERRIT_BRANCH" | sed 's@/@-@g')
 fi
 
 # shellcheck disable=SC1083