From fab4839df8dbf6ee394278893382abd9800236a1 Mon Sep 17 00:00:00 2001 From: Lukas Larsson Date: Mon, 18 Jun 2018 17:15:33 +0200 Subject: travis: Don't run docs deploy script Need to create a seperate repo first for this to push to. --- scripts/build-otp | 34 +++++++++++++++++----------------- 1 file changed, 17 insertions(+), 17 deletions(-) (limited to 'scripts/build-otp') diff --git a/scripts/build-otp b/scripts/build-otp index abdffe8759..e33bf95286 100755 --- a/scripts/build-otp +++ b/scripts/build-otp @@ -57,23 +57,23 @@ if [ "$1" = "docs" ]; then do_and_log "Linting documentation" make xmllint # The code below prepares this build to be used as a deploy to # github pages for documentation. - if [ "$TRAVIS_PULL_REQUEST" = "false" -a "$TRAVIS_TAG" = "" ]; then - set -x - rm -rf logs - SHA=`git rev-parse --verify HEAD` - DATE=`date -Iseconds` - git clean -xfdq -e $DOC_TARGET - git fetch https://github.com/$TRAVIS_REPO_SLUG gh-pages - git checkout -f FETCH_HEAD - rm -rf _docs/$DOC_TARGET - mv $DOC_TARGET _docs/$DOC_TARGET - echo "---" > _docs/$DOC_TARGET.md - echo "title: $DOC_TARGET" >> _docs/$DOC_TARGET.md - echo "sha: $SHA" >> _docs/$DOC_TARGET.md - echo "generated: $DATE" >> _docs/$DOC_TARGET.md - echo "---" >> _docs/$DOC_TARGET.md - set +x - fi + # if [ "$TRAVIS_PULL_REQUEST" = "false" -a "$TRAVIS_TAG" = "" ]; then + # set -x + # rm -rf logs + # SHA=`git rev-parse --verify HEAD` + # DATE=`date -Iseconds` + # git clean -xfdq -e $DOC_TARGET + # git fetch https://github.com/$TRAVIS_REPO_SLUG gh-pages + # git checkout -f FETCH_HEAD + # rm -rf _docs/$DOC_TARGET + # mv $DOC_TARGET _docs/$DOC_TARGET + # echo "---" > _docs/$DOC_TARGET.md + # echo "title: $DOC_TARGET" >> _docs/$DOC_TARGET.md + # echo "sha: $SHA" >> _docs/$DOC_TARGET.md + # echo "generated: $DATE" >> _docs/$DOC_TARGET.md + # echo "---" >> _docs/$DOC_TARGET.md + # set +x + # fi fi exit 0 -- cgit v1.2.3