tree 5b329e11b71edb54f7687422cc9b6ff2e2b7f3f1
parent 6cb89bd5bdd295127c59b0088b1813ff67a23cd2
author Todd Wang <toddw@google.com> 1446751728 -0800
committer Todd Wang <toddw@google.com> 1446751728 -0800

jiri: Change jiri rebuild to rebuild all tools

Also move manifest description into a help topic.

MultiPart: 1/2

Change-Id: Ic9876445501ba6cc38e8f9185ffea595e4fb8f65