From 194e49b6cfeef657e627ea646a383fcd3ce46ff4 Mon Sep 17 00:00:00 2001 From: Boris Kaus <61824822+boriskaus@users.noreply.github.com> Date: Thu, 29 Feb 2024 21:34:16 +0100 Subject: [PATCH] Update docs/make.jl Co-authored-by: Hendrik Ranocha --- docs/make.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index ee827591..9e7dc228 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -96,7 +96,7 @@ makedocs(; "12 - VoteMaps" => "man/Tutorial_Votemaps.md", "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" + "15 - Create movies" => "man/tutorial_time_Seismicity.md", "16 - Alpine data integration" => "man/Tutorial_AlpineData.md" ], "User Guide" => Any[