37 lines
751 B
Bash
Executable File
37 lines
751 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
|
|
WREN_PY="python3"
|
|
if [ -n "$WREN_PY_BINARY" ]
|
|
then
|
|
WREN_PY="$WREN_PY_BINARY"
|
|
fi
|
|
|
|
# Build the docs.
|
|
mkdir -p build
|
|
$WREN_PY ./util/generate_docs.py
|
|
cp -r build/docs/. build/gh-pages
|
|
|
|
# Clone the repo at the gh-pages branch.
|
|
git clone https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG} gh-pages-repo \
|
|
--branch gh-pages --depth 1
|
|
cd gh-pages-repo
|
|
|
|
# Copy them into the gh-pages branch.
|
|
rm -rf *
|
|
cp -r ../build/gh-pages/* .
|
|
|
|
# Restore CNAME file that gets deleted by `rm -rf *`.
|
|
echo "wren.io" > "CNAME"
|
|
|
|
git status
|
|
ls
|
|
|
|
if ! $( git diff-index --quiet HEAD ) ; then
|
|
git config user.name "Travis CI"
|
|
git config user.email "$COMMIT_AUTHOR_EMAIL"
|
|
git add --all .
|
|
git commit -m "Deploy to GitHub Pages: ${SHA}"
|
|
git push
|
|
fi
|