#!/bin/bash | |
set -o nounset | |
set -o pipefail | |
set -o errexit | |
build() { | |
./build.sh doc | |
} | |
copy() { | |
cp -a ./_tmp/doc/* ./gh-pages/doc/ | |
echo "After commiting changes, you can publish them by running: ./docs.sh publish" | |
} | |
publish() { | |
git subtree push --prefix gh-pages origin gh-pages | |
} | |
if test $# -eq 0 ; then | |
build | |
copy | |
else | |
"$@" | |
fi | |