docs-to-gh-pages

#!/bin/bash

set -eu

cd $(dirname $0)

current-git-branch () {
    git branch | \
    grep -v 'HEAD detached' | \
    awk '$1 == "*" {print $2}'
}

BRANCH=$(current-git-branch)
if [ -z "$BRANCH" ]; then
    echo Cannot determine current git branch
    exit 1
fi

TEMPDIR=$(tempfile)
cleanup () {
    local rv=$?
    rm -rf -- $TEMPDIR
    git checkout $BRANCH
    exit $rv
}
trap cleanup EXIT

DOCDIR=apps/blizanci/doc
cp doc/overview.edoc $DOCDIR # ????
rebar3 edoc

rm -rf $TEMPDIR
cp -a $DOCDIR $TEMPDIR
git checkout gh-pages
cp -a $TEMPDIR/* .
git add .
git status
git commit -m "autocommit docs"