Skip to content

Commit

Permalink
fix: doc build
Browse files Browse the repository at this point in the history
  • Loading branch information
clatapie committed Jul 9, 2024
1 parent 840a60e commit a43ce46
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/source/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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 ===
Expand Down

0 comments on commit a43ce46

Please sign in to comment.