bootstrap.sh now generates docs.