Remove Getting Started from make.jl

dionysos-dev · Oct 19, 2023 · 4e549f3 · 4e549f3
1 parent d9ef8f9
commit 4e549f3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -29,7 +29,6 @@ end
 const _PAGES = [
     "Index" => "index.md",
     "Manual" => ["manual/abstraction-based-control.md", "manual/manual.md"],
-    "Getting Started" => "generated/Getting Started.md",
     "Solvers" => map(EXAMPLES_SOLVERS) do jl_file
         # Need `string` as Documenter fails if `name` is a `SubString{String}`.
         name = string(split(jl_file, ".")[1])