Docs: Product name cleanup for Bazel vs Blaze
PiperOrigin-RevId: 344893229
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html
index bea8fd5..2d97e0e 100644
--- a/site/docs/user-manual.html
+++ b/site/docs/user-manual.html
@@ -2618,9 +2618,9 @@
<li><code>--host_jvm_args=-DRULE_MEMORY_TRACKER=1</code></li>
</ul>
<p>
- The java-agent is checked into bazel at
+ The java-agent is checked into Bazel at
third_party/allocation_instrumenter/java-allocation-instrumenter-3.0.1.jar, so make
- sure you adjust <code>$BAZEL</code> for where you keep your bazel repository.
+ sure you adjust <code>$BAZEL</code> for where you keep your Bazel repository.
Do not forget to keep passing these options to Bazel for every command or the server will
restart.
