aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/build-otp
diff options
context:
space:
mode:
authorLukas Larsson <[email protected]>2018-06-18 17:15:33 +0200
committerLukas Larsson <[email protected]>2018-06-18 17:15:33 +0200
commitfab4839df8dbf6ee394278893382abd9800236a1 (patch)
treec8f39d618d925394dea3c6a470873eae7f1eed6c /scripts/build-otp
parentb4cb07a6f618b37109d6bdc21240fbac66f8e078 (diff)
downloadotp-fab4839df8dbf6ee394278893382abd9800236a1.tar.gz
otp-fab4839df8dbf6ee394278893382abd9800236a1.tar.bz2
otp-fab4839df8dbf6ee394278893382abd9800236a1.zip
travis: Don't run docs deploy script
Need to create a seperate repo first for this to push to.
Diffstat (limited to 'scripts/build-otp')
-rwxr-xr-xscripts/build-otp34
1 files changed, 17 insertions, 17 deletions
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