devserver:
	jekyll serve --incremental --destination devdist

proddist:
	jekyll build

release:
	git subtree push --prefix dist upstream production