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.
89 lines
2.4 KiB
89 lines
2.4 KiB
#!/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 -j `nproc`
|
|
find .. -name '*whl' | xargs pip install # install all 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
|