diff options
-rw-r--r-- | site/docs/bazel-user-manual.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/site/docs/bazel-user-manual.html b/site/docs/bazel-user-manual.html index 5b3cbfb542..f5a1f6a481 100644 --- a/site/docs/bazel-user-manual.html +++ b/site/docs/bazel-user-manual.html @@ -26,7 +26,6 @@ title: User Manual <a href='#clean'>clean</a> Removes output files and optionally stops the server. <a href='#help'>help</a> Prints help for commands, or the index. - <a href='#info'>info</a> Displays runtime info about the bazel server. <a href='#fetch'>fetch</a> Fetches all external dependencies of a target. |