diff options
author | Jingwen Chen <jin@crypt.sg> | 2018-03-05 09:30:14 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-03-05 09:31:38 -0800 |
commit | 7633ab05f14ab93589a62e64ff7d5c3641c4ed14 (patch) | |
tree | ab9cffbf6b7e4c99456a0b5fbe50a9d101dee5b6 /site/docs/best-practices.md | |
parent | 2afed516f4d5d46ba1664dc0eeb8121f60e8088f (diff) |
Fixed broken links to user manual in docs
The user manual filename has been renamed from `bazel-user-manual.html` to `user-manual.html`.
Closes #4662.
PiperOrigin-RevId: 187877241
Diffstat (limited to 'site/docs/best-practices.md')
-rw-r--r-- | site/docs/best-practices.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/docs/best-practices.md b/site/docs/best-practices.md index 04a9ee776b..b53a8d6b46 100644 --- a/site/docs/best-practices.md +++ b/site/docs/best-practices.md @@ -87,7 +87,7 @@ misleading alias to point both targets to one guava library, then the BUILD file ## `.bazelrc` For project-specific options, use the configuration file `_your-workspace_/tools/bazel.rc` (see -[bazelrc format](https://docs.bazel.build/bazel-user-manual.html#bazelrc)). +[bazelrc format](https://docs.bazel.build/user-manual.html#bazelrc)). For options that you **do not** want to check into source control, create the configuration file `_your-workspace_/.bazelrc` and add `.bazelrc` to your `.gitignore`. Note that this file has a |