tree 826eacd3bc723db310ba6cb0d709377591052eb6
parent 60a2cc4a9b7860ccee6af7f0b8c138ab4d9b5d31
author Nicolas Lacasse <nlacasse@google.com> 1455058580 -0800
committer Nicolas Lacasse <nlacasse@google.com> 1455124847 +0000

website: PATH should include JIRI_ROOT/.jiri_root/scripts.

We are moving away from JIRI_ROOT/devtools/{bin,scripts}.  They will
continue to exist for a while, but only as a symlink to
.jiri_root/{bin,scripts}.

Change-Id: I9dadb1b1e30e1d07219399a9f91fff9390216e6a