You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
92 lines
2.3 KiB
92 lines
2.3 KiB
#!/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
|
|
make -j `nproc` print_operators_doc
|
|
paddle/pybind/print_operators_doc > doc/en/html/operators.json
|
|
|
|
# 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
|
|
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
|