From c44130472dbfbf1dc7b0ec65a6d0a5b218023dcf Mon Sep 17 00:00:00 2001 From: Boris Kaus <61824822+boriskaus@users.noreply.github.com> Date: Sat, 2 Mar 2024 00:06:26 +0100 Subject: [PATCH] Update make.jl Missing comma --- docs/make.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/make.jl b/docs/make.jl index bff27fd1..ebec7750 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -97,8 +97,8 @@ makedocs(; "13 - Campi Flegrei" => "man/tutorial_local_Flegrei.md", "14 - La Palma volcano Model" => "man/Tutorial_LaPalma.md", "15 - Create movies" => "man/tutorial_time_Seismicity.md", - "16 - Fault Density Map" => "man/tutorial_Fault_Map.md" - "17 - Jura tutorial" => "man/Tutorial_Jura.md", + "16 - Fault Density Map" => "man/tutorial_Fault_Map.md", + "17 - Jura tutorial" => "man/Tutorial_Jura.md" ], "User Guide" => Any[ "Installation" => "man/installation.md",