diff options
author | dmarting <dmarting@google.com> | 2017-09-04 11:43:35 +0200 |
---|---|---|
committer | Yun Peng <pcloudy@google.com> | 2017-09-04 12:19:41 +0200 |
commit | cdb8a63d3e01e396204c1a372cab49147886d100 (patch) | |
tree | 497f1c581d713fbccd56a36a6564c3f3f8ed81b5 /site/docs/external.md | |
parent | e9eb096e862743beb7abdb13951a0b23f6884258 (diff) |
Rename bazel-user-manual.html into user-manual.html
PiperOrigin-RevId: 167477112
Diffstat (limited to 'site/docs/external.md')
-rw-r--r-- | site/docs/external.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/docs/external.md b/site/docs/external.md index 50bd958dcb..aa3037f7b4 100644 --- a/site/docs/external.md +++ b/site/docs/external.md @@ -129,7 +129,7 @@ dependency. By default, external dependencies are fetched as needed during `bazel build`. If you would like to disable this behavior or prefetch dependencies, use -[`bazel fetch`](http://docs.bazel.build/bazel-user-manual.html#fetch). +[`bazel fetch`](http://docs.bazel.build/user-manual.html#fetch). ## Using Proxies |