changeset 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 276c7ca9b2a9 bdc718c38096
files docs/make.jl
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/docs/make.jl	Fri Jan 14 13:41:47 2022 +0100
+++ b/docs/make.jl	Fri Jan 14 13:49:00 2022 +0100
@@ -24,7 +24,7 @@
 end
 
 pages = [
-    "index.md",
+    "Home" => "index.md",
     "Submodules" => [
         "submodules/grids.md",
         "submodules/diff_ops.md",