#!/bin/bash
git checkout master
(cd docs;
rm -rf .build;
make html;
(cd .build/html;
sphinx-to-github;))
git checkout gh-pages
cp -r docs/.build/html/* .
git commit . -m "Autogenerated documentation for github."
git push origin gh-pages