#!/bin/bash # Add set -e, cd to directory. source ./common.sh # Compile Documentation only. cmake .. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_Fortran_COMPILER=/usr/bin/gfortran-4.8 -DWITH_GPU=OFF -DWITH_DOC=OFF -DWITH_STYLE_CHECK=OFF ${EXTRA_CMAKE_OPTS} mkdir output make DESTDIR=./output install -j `nproc` pip install ./output/usr/local/opt/paddle/share/wheels/* rm -rf * cmake .. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_Fortran_COMPILER=/usr/bin/gfortran-4.8 -DWITH_GPU=OFF -DWITH_DOC=ON ${EXTRA_CMAKE_OPTS} make paddle_docs paddle_docs_cn # check websites for broken links 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 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 mv ../doc/cn/html ${DIR}/doc_cn mv ../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