[docs] Another try, not sure why the bot isn't building

pull/206/head
Behdad Esfahbod 9 years ago
parent f3a051149b
commit 33b2d981a0
  1. 13
      .ci/deploy-docs.sh

@ -1,20 +1,15 @@
set -o errexit -o nounset set -o errexit -o nounset
if [ "$TRAVIS_OS_NAME" != "linux" -o "$CC" != "gcc" -o "$TRAVIS_SECURE_ENV_VARS" != "true" ]; then if test "$TRAVIS_OS_NAME" != "linux" -o "$CC" != "gcc" -o "$TRAVIS_SECURE_ENV_VARS" != "true"; then exit; fi
exit
fi
BRANCH="$(TRAVIS_BRANCH)" BRANCH="$(TRAVIS_BRANCH)"
TAG="$(git describe --exact-match --match "[0-9]*" HEAD 2>/dev/null)" if test "x$BRANCH" != xmaster; then exit; fi
if [ "x$TAG" == x ]; then TAG="$(git describe --exact-match --match "[0-9]*" HEAD 2>/dev/null)"
REVISION=$(git rev-parse --short HEAD)
else
REVISION=$TAG
fi
DOCSDIR=build-docs DOCSDIR=build-docs
REVISION=$(git rev-parse --short HEAD)
rm -rf $DOCSDIR || exit rm -rf $DOCSDIR || exit
mkdir $DOCSDIR mkdir $DOCSDIR

Loading…
Cancel
Save