publish_docs.sh

#!/bin/bash

set -o errexit -o nounset

dir=`dirname $0`

# 生成文档
cd $dir
npm run docs

cd build/docs

echo "GitHub Pages directory: `pwd`"

git config --global user.name "Travis CI"
git config --global user.email "ismar@slomic.no"

if [[ ! -d ./.git ]]; then
  git init
  git remote add origin "https://${GH_TOKEN}@${GH_REF}"
  git checkout -b gh-pages
else
  git checkout gh-pages -q
fi

git add . -A
git commit -m "Publish to GitHub Pages"
git push --force origin gh-pages