diff --git a/Documentation/dev-bazel.txt b/Documentation/dev-bazel.txt index 0a60b7d9fb..f52d9899d3 100644 --- a/Documentation/dev-bazel.txt +++ b/Documentation/dev-bazel.txt @@ -541,7 +541,7 @@ wrapper script. For an example, see the use of `crisper` in `tools/bzl/js.bzl`. [[RBE]] -==== Google Remote Build Support +== Google Remote Build Support The Bazel build can be used with Google's Remote Build Execution.