jjb/docs/docs-post-rtd.sh

   1 #!/bin/sh
   2 if [ "$GERRIT_BRANCH" = "master" ]; then
   3     RTD_BUILD_VERSION=latest
   4 else
   5     RTD_BUILD_VERSION=$(echo $GERRIT_BRANCH | sed 's@/@-@g')
   6 fi
   7
   8 # shellcheck disable=SC1083
   9 curl -X POST --data "version_slug=$RTD_BUILD_VERSION" https://readthedocs.org/build/{rtdproject}