From 5699f3ca2b71f52e482bd21ceac46f0e53934ff4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rafael=20S=C3=A1=20Menezes?= <rafael.sa.menezes@outlook.com>
Date: Tue, 4 Feb 2025 21:40:06 +0000
Subject: [PATCH] Add goto-transcoder.md into summary (#243)

The goto-transcoder is not appearing in the book pages. This should fix
it.
---
 doc/src/SUMMARY.md | 1 +
 1 file changed, 1 insertion(+)

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)
 
 ---