build-and-copy:
	mdbook build
	cp -r book/* ../docs
	rm -rf book