0.8 Doc changes for make-distribution.sh

Some small doc changes to document make-distribution.sh (binary distribution), please merge to 0.8 release branch, thanks.