Update label for the exec-groups link.
PiperOrigin-RevId: 313801771
diff --git a/site/_layouts/documentation.html b/site/_layouts/documentation.html
index 4b624db..516bdd4 100644
--- a/site/_layouts/documentation.html
+++ b/site/_layouts/documentation.html
@@ -307,7 +307,7 @@
<li><a href="/versions/{{ current_version }}/build-event-protocol.html">Build Event Protocol</a></li>
<li><a href="/versions/{{ current_version }}/output_directories.html">Output directory layout</a></li>
<li><a href="/versions/{{ current_version }}/platforms.html">Platforms</a></li>
- <li><a href="/versions/{{ current_version }}/exec-groups.html">Platforms</a></li>
+ <li><a href="/versions/{{ current_version }}/exec-groups.html">Execution Groups</a></li>
<li><a href="/versions/{{ current_version }}/toolchains.html">Toolchains</a></li>
</ul>