diff options
Diffstat (limited to 'jjb/doc/doc-post-rtd.sh')
| -rw-r--r-- | jjb/doc/doc-post-rtd.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/jjb/doc/doc-post-rtd.sh b/jjb/doc/doc-post-rtd.sh new file mode 100644 index 000000000..5c8d8c52f --- /dev/null +++ b/jjb/doc/doc-post-rtd.sh @@ -0,0 +1,9 @@ +#!/bin/bash +if [ "$GERRIT_BRANCH" == "master" ]; then + RTD_BUILD_VERSION=latest +else + RTD_BUILD_VERSION="${{GERRIT_BRANCH/\//-}}" +fi + +# shellcheck disable=SC1083 +curl -X POST --data "version_slug=$RTD_BUILD_VERSION" https://readthedocs.org/build/{rtdproject} |