Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

executable file 34 lines (24 sloc) 0.664 kb
#!/bin/zsh
# Should be run from the docs directory: (cd docs && ./build-github.zsh)
REPO=$(dirname $(pwd))
GH=_gh-pages
# Update our local gh-pages branch
git checkout gh-pages && git pull && git checkout -
# Checkout the gh-pages branch, if necessary.
if [[ ! -d $GH ]]; then
git clone $REPO $GH
pushd $GH
git checkout -b gh-pages origin/gh-pages
popd
fi
# Update and clean out the _gh-pages target dir.
pushd $GH && git pull && rm -rf * && popd
# Make a clean build.
make clean dirhtml
# Move the fresh build over.
cp -r _build/dirhtml/* $GH
cd $GH
# Commit.
git add .
git commit -am "gh-pages build on $(date)"
git push origin gh-pages
Jump to Line
Something went wrong with that request. Please try again.