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
diff --git a/content/community/coding-guidelines.md b/content/community/coding-guidelines.md
index d3a2582..6676ce7 100644
--- a/content/community/coding-guidelines.md
+++ b/content/community/coding-guidelines.md
@@ -11,6 +11,8 @@
```
$JIRI_ROOT
+ .jiri_root # Jiri utils and metadata
+ scripts/jiri # Jiri command-line tool
devtools # Contributor tool binaries
environment # Platform-dependent configuration
manifest # Multi-repo configuration data
diff --git a/content/installation/step-by-step.md b/content/installation/step-by-step.md
index 6f572d2..553c6a3 100644
--- a/content/installation/step-by-step.md
+++ b/content/installation/step-by-step.md
@@ -94,10 +94,10 @@
curl -f https://vanadium.github.io/bootstrap.sh | bash
```
-Add `$JIRI_ROOT/devtools/bin` to your `PATH`, for `jiri`:
+Add `$JIRI_ROOT/.jiri_root/scripts` to your `PATH`, for `jiri`:
<!-- @addDevtoolsToPath @test -->
```
-export PATH=$JIRI_ROOT/devtools/bin:$PATH
+export PATH=$JIRI_ROOT/.jiri_root/scripts:$PATH
```
Recommended for contributors: Add the line above to your `~/.bashrc` or similar.
@@ -110,7 +110,7 @@
We recommend using the `jiri v23-profile` command to install all such
prerequisites. This command uses `apt-get` on Linux and `brew` on OS X. Note,
the `jiri` tool and its various plugins are located in
-`$JIRI_ROOT/devtools/bin`.
+`$JIRI_ROOT/.jiri_root/scripts`.
<!-- @installBaseProfile @test -->
```
jiri v23-profile install base
