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/BUILD | |
parent | e9eb096e862743beb7abdb13951a0b23f6884258 (diff) |
Rename bazel-user-manual.html into user-manual.html
PiperOrigin-RevId: 167477112
Diffstat (limited to 'site/BUILD')
-rw-r--r-- | site/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/BUILD b/site/BUILD index 613dcde2a6..fde005a84f 100644 --- a/site/BUILD +++ b/site/BUILD @@ -2,7 +2,7 @@ load("//tools/build_defs/pkg:pkg.bzl", "pkg_tar") exports_files( [ - "docs/bazel-user-manual.html", + "docs/user-manual.html", "command-line-reference-prefix.html", "command-line-reference-suffix.html", ], |