Fixed docs: `bazel fetch` is not a required manual step before `bazel build`
Closes #4490.
PiperOrigin-RevId: 182812418
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html
index 34db84b..33dfcdb 100644
--- a/site/docs/user-manual.html
+++ b/site/docs/user-manual.html
@@ -649,8 +649,8 @@
<p>
You do not need to run bazel fetch at all if you have all of the tools you are
using (from library jars to the JDK itself) under your workspace root.
- However, if you're using anything outside of the workspace directory then you
- will need to run <code>bazel fetch</code> before running
+ However, if you're using anything outside of the workspace directory then Bazel
+ will automatically run <code>bazel fetch</code> before running
<code>bazel build</code>.
</p>
