fix: Update doc heading name (#730)

2023-09-29 21:31:57 -07:00
parent 16b0d5b829
commit faa29ef285
3 changed files with 2 additions and 2 deletions
--- a/docs/mint.json
+++ b/docs/mint.json
@@ -31,8 +31,8 @@
  },
  "navigation": [
    {
-      "group": "Getting started",
-      "pages": ["quickstart", "introduction"]
+      "group": "Get started",
+      "pages": ["get-start/quickstart", "get-start/introduction"]
    },
    {
      "group": "Advanced",