commit 9999e705a2defa490b65a33a51d57eb7f34b0194
author Nicolas Lacasse <nlacasse@google.com> Thu Sep 17 11:27:39 2015 -0700
committer Nicolas Lacasse <nlacasse@google.com> Thu Sep 17 11:27:39 2015 -0700
tree f6c5c36c5e765a99cfc5ffb1861186a93b7a783f
parent 645d1160b619733fe6d5d256baeaf81648951c14

TBR: docs: Replace V23_ROOT with JIRI_ROOT everywhere.

MultiPart: 1/23

Change-Id: Ie4bf352896579199949a6c72c8b63aea26430d8a

community/coding-guidelines.md

diff --git a/community/coding-guidelines.md b/community/coding-guidelines.md
index b644394..1314284 100644
--- a/community/coding-guidelines.md
+++ b/community/coding-guidelines.md
@@ -6,7 +6,7 @@
 installation] process arranges these repositories as follows:
 
 ```
- $V23_ROOT
+ $JIRI_ROOT
    devtools          # Contributor tools
    environment       # Platform dependent configuration
    .manifest         # Multi-repo control data

community/contributing.md

diff --git a/community/contributing.md b/community/contributing.md
index a6081b3..6aef95e 100644
--- a/community/contributing.md
+++ b/community/contributing.md
@@ -62,16 +62,16 @@
 Vanadium universe of language libraries, command line tools, services,
 website, example projects, and development tools like [v23].
 
-#### V23_ROOT environment variable
+#### JIRI_ROOT environment variable
 
-Set the `V23_ROOT` environment variable. Use an absolute path that points to a local file system location (remote file system such as NFS are discouraged for performance reasons and to avoid ENOKEY 'git' errors). **Use a directory that does NOT exist**; the following steps will create it.
+Set the `JIRI_ROOT` environment variable. Use an absolute path that points to a local file system location (remote file system such as NFS are discouraged for performance reasons and to avoid ENOKEY 'git' errors). **Use a directory that does NOT exist**; the following steps will create it.
 
 ```bash
 # Edit to taste
-export V23_ROOT=${HOME}/vanadium
+export JIRI_ROOT=${HOME}/vanadium
 ```
 
-Be sure to add the `$V23_ROOT` environment variable to your profile.
+Be sure to add the `$JIRI_ROOT` environment variable to your profile.
 
 #### Setup script
 
@@ -83,10 +83,10 @@
 
 #### Update your PATH
 
-Add `$V23_ROOT/devtools/bin` to your `PATH`.
+Add `$JIRI_ROOT/devtools/bin` to your `PATH`.
 
 ```bash
-export PATH=$PATH:$V23_ROOT/devtools/bin
+export PATH=$PATH:$JIRI_ROOT/devtools/bin
 ```
 
 Be sure to add the modified `$PATH` to your profile.
@@ -190,7 +190,7 @@
 All other dependencies can be satisfied via the default `make` target.
 
 ```bash
-cd $V23_ROOT/release/javascript/core
+cd $JIRI_ROOT/release/javascript/core
 make
 ```