fix page headers

exaexa · exaexa · commit 972acc9f9e62 · 2021-01-25T16:50:21.000+01:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -7,9 +7,9 @@ makedocs(modules = [DiDa],
     authors = "The developers of DiDa.jl",
     linkcheck = !("skiplinks" in ARGS),
     pages = [
-        "Home" => "index.md",
+        "Documentation" => "index.md",
         "Tutorial" => "tutorial.md",
-        "Functions" => "functions.md",
+        "Function reference" => "functions.md",
     ],
 )
 
