#!/bin/bash
rm -r -f .gh-pages
mkdir .gh-pages
cd .gh-pages
git init
cp -r ../target/doc/* .
cat <<EOF > index.html
<!doctype html>
<title>pencil</title>
<meta http-equiv="refresh" content="0; ./pencil/">
EOF
git add -f --all .
git commit -m "Added docs"
git remote add origin git@github.com:fengsp/pencil.git
git push -f origin master:gh-pages
cd ..
rm -r -f .gh-pages