rev=$(git rev-parse --short HEAD)
if [ ! -d "target/doc" ]; then
echo "Docs aren't built - aborting"
exit -1;
fi
cd target/doc
git init
git remote add upstream "git@github.com:AngryLawyer/rust-tcl.git"
git fetch upstream && git reset upstream/gh-pages
touch .
git add -A .
git commit -m "rebuild pages at ${rev}"
git push -q upstream HEAD:gh-pages