Chore: Update build node to Ubuntu 2004

[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 7faa26f38bfed138bd457c3ce2e67c1b260f143d..bc852bd4bc6711f8b81f4abbe898c8bea54ac34b 100644 (file)
--- a/jjb/docs/docs-post-rtd.sh
+++ b/jjb/docs/docs-post-rtd.sh
@@ -1,7 +1,9 @@
-#!/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
 curl -X POST --data "version_slug=$RTD_BUILD_VERSION" https://readthedocs.org/build/{rtdproject}