#!/bin/sh
set -e
# Generates RDoc HTML and update gh-pages branch.
HEAD_DESCRIPTION=$(git describe --dirty --always --abbrev=12)
[ -d html ] &&
rm -r html
rake rdoc
[ ! -d tmp/gh-pages ] &&
git worktree add tmp/gh-pages gh-pages
(
cd tmp/gh-pages
git rm -r .
cp -r ../../html/* .
rm created.rid js/*.gz # to avoid unnecessary change :x
git add .
git commit -m "Sync with $HEAD_DESCRIPTION"
)