From a43ce4617455ccf164e039669ef40346418b5d87 Mon Sep 17 00:00:00 2001
From: Camille <78221213+clatapie@users.noreply.github.com>
Date: Tue, 9 Jul 2024 16:38:25 +0200
Subject: [PATCH] fix: doc build

---
 doc/source/index.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/source/index.rst b/doc/source/index.rst
index 65a63c62..c056f162 100644
--- a/doc/source/index.rst
+++ b/doc/source/index.rst
@@ -20,7 +20,7 @@ Summary of the exposed Verification Manual Examples
 
 .. include:: ./verif-manual/index.rst
    :start-line: 8
-   :end-line: 416
+   :end-line: 417
 
 
 .. === TECHNOLOGY SHOWCASES ===