fix: update documentation navigation to include MCP Servers section

Author: brunoborges

.github/prompts/agentic-merge-upstream.prompt.md

@@ -80,8 +80,11 @@ For each change in the upstream diff, determine:
 | `dotnet/src/Generated/*.cs`        | `src/main/java/com/github/copilot/sdk/types/*.java`    |
 | `dotnet/test/*.cs`                 | `src/test/java/com/github/copilot/sdk/*Test.java`      |
 | `docs/getting-started.md`          | `README.md` and `src/site/markdown/*.md`               |
+| `docs/*.md` (new files)            | `src/site/markdown/*.md` + update `src/site/site.xml`  |
 | `sdk-protocol-version.json`        | (embedded in Java code or resource file)               |
 
+> **⚠️ Important:** When adding new documentation pages, always update `src/site/site.xml` to include them in the navigation menu.
+
 ## Step 5: Apply Changes to Java SDK
 
 When porting changes:
@@ -208,6 +211,7 @@ Before finishing:
 - [ ] `mvn test` passes
 - [ ] `mvn package` builds successfully
 - [ ] Documentation updated
+- [ ] `src/site/site.xml` updated if new documentation pages were added
 - [ ] `.lastmerge` file updated with new commit hash
 - [ ] Changes left uncommitted for review
 

src/site/site.xml

@@ -138,6 +138,7 @@
         <menu name="Overview">
             <item name="Introduction" href="index.html"/>
             <item name="Documentation" href="documentation.html"/>
+            <item name="MCP Servers" href="mcp.html"/>
         </menu>
 
         <menu name="Documentation">
@@ -157,6 +158,7 @@
                 <item name="Bring Your Own Key (BYOK)" href="documentation.html#Bring_Your_Own_Key_.28BYOK.29"/>
                 <item name="Permission Handling" href="documentation.html#Permission_Handling"/>
                 <item name="Infinite Sessions" href="documentation.html#Infinite_Sessions"/>
+                <item name="MCP Servers" href="documentation.html#MCP_Servers"/>
             </item>
             <item name="Error Handling" href="documentation.html#Error_Handling"/>
         </menu>