diff options
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> |