Fix: bashisms - step 1

[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..6f5aa6be14c81b08f1358d2b298d054e42776425 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