docs.sh

#!/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