jjb/doc/doc-post-rtd.sh

   1 #!/bin/bash
   2 if [ "$GERRIT_BRANCH" == "master" ]; then
   3     RTD_BUILD_VERSION=latest
   4 else
   5     RTD_BUILD_VERSION="${{GERRIT_BRANCH/\//-}}"
   6 fi
   7
   8 # shellcheck disable=SC1083
   9 curl -X POST --data "version_slug=$RTD_BUILD_VERSION" https://readthedocs.org/build/{rtdproject}