diff --git a/doc/src/SUMMARY.md b/doc/src/SUMMARY.md
index 8073d12bf1f66..86b93dea01dba 100644
--- a/doc/src/SUMMARY.md
+++ b/doc/src/SUMMARY.md
@@ -8,6 +8,7 @@
 
 - [Verification Tools](./tools.md)
   - [Kani](./tools/kani.md)
+  - [GOTO Transcoder](./tools/goto-transcoder.md)
 
 ---