diff options
author | 2015-08-30 17:17:57 +0000 | |
---|---|---|
committer | 2015-08-31 19:13:19 +0000 | |
commit | c061bed4590b3a6f3e0a65ea8bc9409ca463b645 (patch) | |
tree | 81d09fecc5ff815fc75744c52599500152feb93b /src/main/java/com/google/devtools/build | |
parent | c5c695a668d7267d829b50523393d5b9280809af (diff) |
Normalize usage of "workspace", "workspace directory" and "build root" in
documentation. Replaces instances of "build root" with "workspace directory"
as appropriate.
Makes the following changes:
- /docs/build-ref.html: Adds definition of workspace
- /docs/external.md: Replaces "build root" terminology with "workspace"
- /docs/getting-started.md: Adds link to workspace definition
- /docs/bazel-user-manual.html: Adds link to workspace definition
--
MOS_MIGRATED_REVID=101885966
Diffstat (limited to 'src/main/java/com/google/devtools/build')
0 files changed, 0 insertions, 0 deletions