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/_layouts | |
parent | e9eb096e862743beb7abdb13951a0b23f6884258 (diff) |
Rename bazel-user-manual.html into user-manual.html
PiperOrigin-RevId: 167477112
Diffstat (limited to 'site/_layouts')
-rw-r--r-- | site/_layouts/documentation.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/_layouts/documentation.html b/site/_layouts/documentation.html index 6e39c2b40c..527edaf8dc 100644 --- a/site/_layouts/documentation.html +++ b/site/_layouts/documentation.html @@ -62,7 +62,7 @@ nav: docs <h3>Using Bazel</h3> <ul class="sidebar-nav"> <li><a href="/versions/{{ site.version }}/build-ref.html">Concepts and Terminology</a></li> - <li><a href="/versions/{{ site.version }}/bazel-user-manual.html">User Manual</a></li> + <li><a href="/versions/{{ site.version }}/user-manual.html">User Manual</a></li> <li> <a class="sidebar-nav-heading" data-toggle="collapse" |