Fix in docs CI

docs/make.jl

@@ -8,19 +8,23 @@ DocMeta.setdocmeta!(
     recursive = true,
 )
 
-const page_rename = Dict("developer.md" => "Developer docs") # Without the numbers
-const numbered_pages = [
-    file for file in readdir(joinpath(@__DIR__, "src")) if
-    file != "index.md" && splitext(file)[2] == ".md"
-]
-
 makedocs(;
     modules = [GalerkinToolkit],
-    authors = "Francesc Verdugo <[email protected]> and contributors",
-    repo = "https://github.com/fverdugo/GalerkinToolkit.jl/blob/{commit}{path}#{line}",
+    authors = "Francesc Verdugo <[email protected]> and contributors",
     sitename = "GalerkinToolkit.jl",
-    format = Documenter.HTML(; canonical = "https://fverdugo.github.io/GalerkinToolkit.jl"),
-    pages = ["index.md"; numbered_pages],
+    format = Documenter.HTML(;
+        prettyurls = get(ENV, "CI", "false") == "true",
+        canonical = "https://fverdugo.github.io/GalerkinToolkit.jl",
+        assets = String[],
+    ),
+    pages = [
+        "Home" => "index.md",
+        "Reference" => [
+            "Mesh" => "reference/mesh.md",
+            "Integration" => "reference/integration.md",
+            "Interpolation" => "reference/interpolation.md",
+        ],
+    ],
 )
 
-deploydocs(; repo = "github.com/fverdugo/GalerkinToolkit.jl")
+deploydocs(; repo = "github.com/fverdugo/GalerkinToolkit.jl", devbranch = "main")