doc:
	git checkout gh-pages
	git reset --hard master
	cargo doc
	cp -r target/doc doc
	git add --all
	msg="doc(*): rebuilding docs `date`"
	git commit -m "$msg"
	git push -f origin gh-pages
	git checkout master