comparison docs/make.jl @ 851:0ef00e1426b1 feature/setup_documenter

Change name of top page in sidebar
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 14 Jan 2022 13:49:00 +0100
parents 9ab2651ea00b
children bdc718c38096
comparison
equal deleted inserted replaced
849:9ab2651ea00b 851:0ef00e1426b1
22 else 22 else
23 build = "build-local" 23 build = "build-local"
24 end 24 end
25 25
26 pages = [ 26 pages = [
27 "index.md", 27 "Home" => "index.md",
28 "Submodules" => [ 28 "Submodules" => [
29 "submodules/grids.md", 29 "submodules/grids.md",
30 "submodules/diff_ops.md", 30 "submodules/diff_ops.md",
31 "submodules/lazy_tensors.md", 31 "submodules/lazy_tensors.md",
32 "submodules/region_indices.md", 32 "submodules/region_indices.md",