1#!/bin/bash 2 3set -o nounset 4set -o pipefail 5set -o errexit 6 7 8build() { 9 ./build.sh doc 10} 11 12copy() { 13 cp -a ./_tmp/doc/* ./gh-pages/doc/ 14 echo "After commiting changes, you can publish them by running: ./docs.sh publish" 15} 16 17publish() { 18 git subtree push --prefix gh-pages origin gh-pages 19} 20 21if test $# -eq 0 ; then 22 build 23 copy 24else 25 "$@" 26fi 27 28 29