diff --git a/paddle/scripts/travis/build_doc.sh b/paddle/scripts/travis/build_doc.sh index 70c821fad94b688536a38c7a5cd02b66de553155..c3892491725dc960375f3f2d8fdda7f39dc84d04 100755 --- a/paddle/scripts/travis/build_doc.sh +++ b/paddle/scripts/travis/build_doc.sh @@ -14,78 +14,4 @@ make -j `nproc` paddle_docs paddle_docs_cn paddle_api_docs # check websites for broken links linkchecker doc/v2/en/html/index.html linkchecker doc/v2/cn/html/index.html -linkchecker doc/api/en/html/index.html - -# Parse Github URL -REPO=`git config remote.origin.url` -SSH_REPO=${REPO/https:\/\/github.com\//git@github.com:} -SHA=`git rev-parse --verify HEAD` - -# Documentation branch name -# gh-pages branch is used for PaddlePaddle.org. The English version of -# documentation in `doc` directory, and the chinese version in `doc_cn` -# directory. -TARGET_BRANCH="gh-pages" - -# Only deploy master branch to build latest documentation. -SOURCE_BRANCH="master" - -# Clone the repo to output directory -mkdir output -git clone $REPO output -cd output - -function deploy_docs() { - SOURCE_BRANCH=$1 - DIR=$2 - # If is not a Github pull request - if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then - exit 0 - fi - # If it is not watched branch. - if [ "$TRAVIS_BRANCH" != "$SOURCE_BRANCH" ]; then - return - fi - - # checkout github page branch - git checkout $TARGET_BRANCH || git checkout --orphan $TARGET_BRANCH - - mkdir -p ${DIR} - # remove old docs. mv new docs. - set +e - rm -rf ${DIR}/doc ${DIR}/doc_cn ${DIR}/api_doc - set -e - cp -r ../doc/v2/cn/html ${DIR}/doc_cn - cp -r ../doc/v2/en/html ${DIR}/doc - cp -r ../doc/api/en/html ${DIR}/api_doc - git add . -} - -deploy_docs "master" "." -deploy_docs "develop" "./develop/" - -# Check is there anything changed. -set +e -git diff --cached --exit-code >/dev/null -if [ $? -eq 0 ]; then - echo "No changes to the output on this push; exiting." - exit 0 -fi -set -e - -if [ -n $SSL_KEY ]; then # Only push updated docs for github.com/PaddlePaddle/Paddle. - # Commit - git add . - git config user.name "Travis CI" - git config user.email "paddle-dev@baidu.com" - git commit -m "Deploy to GitHub Pages: ${SHA}" - # Set ssh private key - openssl aes-256-cbc -K $SSL_KEY -iv $SSL_IV -in ../../paddle/scripts/travis/deploy_key.enc -out deploy_key -d - chmod 600 deploy_key - eval `ssh-agent -s` - ssh-add deploy_key - - # Push - git push $SSH_REPO $TARGET_BRANCH - -fi +linkchecker doc/v2/api/en/html/index.html