#!/bin/bash set -e # Create the build directory for CMake. mkdir -p $TRAVIS_BUILD_DIR/build cd $TRAVIS_BUILD_DIR/build # Compile Documentation only. cmake .. -DCMAKE_BUILD_TYPE=Debug -DWITH_GPU=OFF -DWITH_MKL=OFF -DWITH_DOC=ON make -j `nproc` gen_proto_py make -j `nproc` paddle_python make -j `nproc` paddle_docs paddle_docs_cn # check websites for broken links # It will be failed now! #linkchecker doc/en/html/index.html #linkchecker doc/cn/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 set -e cp -r ../doc/cn/html ${DIR}/doc_cn cp -r ../doc/en/html ${DIR}/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