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>