[docs] Shuffling code around in deploy-docs.sh

Temporarily makes it rebuild docs on every change again.
pull/206/head
Behdad Esfahbod 9 years ago
parent 8f31d0a94b
commit f3a051149b
  1. 18
      .ci/deploy-docs.sh

@ -1,11 +1,20 @@
TAG="$(git describe --exact-match --match "[0-9]*" HEAD 2>/dev/null)"
set -o errexit -o nounset
if [ "$TRAVIS_OS_NAME" == "linux" -a "$CC" == "gcc" -a "$TRAVIS_SECURE_ENV_VARS" == "true" -a "$TAG" != "" ]
then
DOCSDIR=build-docs
if [ "$TRAVIS_OS_NAME" != "linux" -o "$CC" != "gcc" -o "$TRAVIS_SECURE_ENV_VARS" != "true" ]; then
exit
fi
BRANCH="$(TRAVIS_BRANCH)"
TAG="$(git describe --exact-match --match "[0-9]*" HEAD 2>/dev/null)"
if [ "x$TAG" == x ]; then
REVISION=$(git rev-parse --short HEAD)
else
REVISION=$TAG
fi
DOCSDIR=build-docs
rm -rf $DOCSDIR || exit
mkdir $DOCSDIR
@ -24,4 +33,3 @@ then
git add -A .
git commit -m "Rebuild docs for $REVISION"
git push -q upstream HEAD:gh-pages
fi

Loading…
Cancel
Save