From 5560c977d427628a6d0539b6043e60a607aba4bc Mon Sep 17 00:00:00 2001 From: Rob Lorch Date: Thu, 9 May 2024 11:36:53 -0500 Subject: [PATCH] Update user doc references to fix build error --- doc/usr/source/2_input/4_refinement_types.rst | 2 +- doc/usr/source/index.rst | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/usr/source/2_input/4_refinement_types.rst b/doc/usr/source/2_input/4_refinement_types.rst index c1e0c015a..6e0554663 100644 --- a/doc/usr/source/2_input/4_refinement_types.rst +++ b/doc/usr/source/2_input/4_refinement_types.rst @@ -1,4 +1,4 @@ -.. _2_input/3_machine_ints: +.. _2_input/4_refinement_types: Refinement Types diff --git a/doc/usr/source/index.rst b/doc/usr/source/index.rst index c59d69f77..d805a0b81 100644 --- a/doc/usr/source/index.rst +++ b/doc/usr/source/index.rst @@ -22,8 +22,10 @@ Table of Contents :caption: Inputs and Outputs 2_input/1_lustre - 2_input/3_machine_ints 2_input/2_arrays + 2_input/3_machine_ints + 2_input/4_refinement_types + 2_input/5_enums 3_output/2_machine_readable 3_output/3_exit_codes