all:

deploy-doc: target/doc/.git/config
	cargo doc
	echo '<meta http-equiv="refresh" content="0;url='`cargo metadata | python -c 'import json, sys; print(json.load(sys.stdin)["resolve"]["root"].split()[0])'`'/index.html"/>' >target/doc/index.html
	cd target/doc \
	&& git add -A \
	&& git commit --amend -q -m Autogenerated \
	&& git push -f origin master:gh-pages \

target/doc/.git/config:
	mkdir -p target/doc
	url=`git remote -v | grep origin | awk '{ printf "%s", $$2; exit }'` \
	&& cd target/doc \
	&& git init \
	&& git config user.name Bot \
	&& git config user.email "<>" \
	&& git commit -m _ --allow-empty \
	&& git remote add origin $$url

.PHONY: all