diff --git a/docs/make.jl b/docs/make.jl index 946e6757..8d104fae 100644 --- a/docs/make.jl +++ b/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 and contributors", - repo = "https://github.com/fverdugo/GalerkinToolkit.jl/blob/{commit}{path}#{line}", + authors = "Francesc Verdugo 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")