docs.sh 2.4 KB
Newer Older
Y
Yu Yang 已提交
1 2 3 4 5
#!/bin/bash

# Add set -e, cd to directory.
source ./common.sh
# Compile Documentation only.
Y
Yu Yang 已提交
6 7
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
Y
Yu Yang 已提交
8 9
make -j `nproc`
find .. -name '*whl' | xargs pip install  # install all wheels.
Y
Yu Yang 已提交
10
rm -rf *
L
liaogang 已提交
11
cmake .. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_Fortran_COMPILER=/usr/bin/gfortran-4.8 -DWITH_GPU=OFF -DWITH_DOC=ON ${EXTRA_CMAKE_OPTS}
Y
Yu Yang 已提交
12 13
make paddle_docs paddle_docs_cn

L
Luo Tao 已提交
14
# check websites for broken links
L
Luo Tao 已提交
15 16
linkchecker doc/en/html/index.html
linkchecker doc/cn/html/index.html
L
Luo Tao 已提交
17

Y
Yu Yang 已提交
18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
# 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

Y
Yu Yang 已提交
36 37 38 39 40 41 42 43 44 45 46
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
Y
Yu Yang 已提交
47

Y
Yu Yang 已提交
48 49 50 51 52 53 54 55 56 57 58 59 60 61 62
  # 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/"
63
deploy_docs "release/0.10.0" "./release/0.10.0/"
Y
Yu Yang 已提交
64 65 66

# Check is there anything changed.
set +e
Y
Yu Yang 已提交
67
git diff --cached --exit-code >/dev/null
Y
Yu Yang 已提交
68 69 70 71 72 73
if [ $? -eq 0 ]; then
  echo "No changes to the output on this push; exiting."
  exit 0
fi
set -e

Y
Yu Yang 已提交
74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89
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