diff options
author | spomorski <spomorski@google.com> | 2017-11-03 22:05:53 +0100 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2017-11-06 20:20:19 +0100 |
commit | 5b40660ab4b8557d6b0588044b2c732f64067e1b (patch) | |
tree | f7c2ace6528fc71c76607551cd3185abf63c1041 /site/_layouts | |
parent | fce927f5179245f026c93b7a2481079d684a5978 (diff) |
Rewrite Bazel platform and toolchain documentation for clarity and split into separate topics.
PiperOrigin-RevId: 174510719
Diffstat (limited to 'site/_layouts')
-rw-r--r-- | site/_layouts/documentation.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/site/_layouts/documentation.html b/site/_layouts/documentation.html index 7b640382c2..402d71379f 100644 --- a/site/_layouts/documentation.html +++ b/site/_layouts/documentation.html @@ -123,6 +123,7 @@ nav: docs <li><a href="/versions/{{ site.version }}/best-practices.html">Best Practices</a></li> <li><a href="/versions/{{ site.version }}/build-event-protocol.html">Build Event Protocol</a></li> <li><a href="/versions/{{ site.version }}/platforms.html">Platforms</a></li> + <li><a href="/versions/{{ site.version }}/toolchains.html">Toolchains</a></li> </ul> {% include be-nav.html %} <h3>Extensions</h3> |