#!/usr/bin/env bash
REV=`git describe --always`
rm -rf _public
git clone $(git remote get-url origin) --depth 1 -b gh-pages _public
cd _public
git rm -r *
cp -R ../web/static/* ./
git add *
git commit -m "regen for $REV"
git push
cd ..
rm -rf _public
