diff options
Diffstat (limited to 'docs.sh')
-rwxr-xr-x | docs.sh | 28 |
1 files changed, 28 insertions, 0 deletions
@@ -0,0 +1,28 @@ +#!/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 + + |