diff options
author | jcater <jcater@google.com> | 2017-11-03 17:46:21 +0100 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2017-11-06 20:19:45 +0100 |
commit | 89095eba2aa32831aa0b093a118969f23e53b3e9 (patch) | |
tree | 0d27537c7cedca1296edbdb3a30c36a51166a842 /site/_layouts | |
parent | 405fdac18f215d573756156432c44c9ea4cd8632 (diff) |
Adding platform documentation.
PiperOrigin-RevId: 174473387
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 50e2f755e8..7b640382c2 100644 --- a/site/_layouts/documentation.html +++ b/site/_layouts/documentation.html @@ -122,6 +122,7 @@ nav: docs <li><a href="/versions/{{ site.version }}/windows.html">Bazel on Windows</a></li> <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> </ul> {% include be-nav.html %} <h3>Extensions</h3> |