make build.sh checks whether tools is inited, and revised cover and intro a little