aboutsummaryrefslogtreecommitdiffhomepage
path: root/site/docs/user-manual.html
diff options
context:
space:
mode:
authorGravatar juliexxia <juliexxia@google.com>2018-03-23 12:17:58 -0700
committerGravatar Copybara-Service <copybara-piper@google.com>2018-03-23 12:19:07 -0700
commit928320e5d5dfe805d7117b10a9fe0f0f510588f2 (patch)
tree75a2e5d8466ec7d10cff4cfdfa329730e735ad73 /site/docs/user-manual.html
parentbc891adec58a6f5b9c3740f5b0131fe00d5e507f (diff)
fix typo in blaze user manual.
PiperOrigin-RevId: 190256860
Diffstat (limited to 'site/docs/user-manual.html')
-rw-r--r--site/docs/user-manual.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html
index 6f6c1a693f..b3fce7d2c5 100644
--- a/site/docs/user-manual.html
+++ b/site/docs/user-manual.html
@@ -3040,7 +3040,7 @@ in an environment closer to the current shell environment. Note that none of the
dependency graph used during the build. The query language is used
by two commands: query and cquery. The major difference between the
two commands is that query runs after the <a href='#loading-phase'>loading phase</a>
- and cquery runs after the <a href='#analysis-phase'>analysis phase</a>. These tool are an
+ and cquery runs after the <a href='#analysis-phase'>analysis phase</a>. These tools are an
invaluable aid to many software engineering tasks.
</p>
<p>