diff options
Diffstat (limited to 'site/_layouts/documentation.html')
-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> |