docs: make duplicate CLI page redirects permanent and drop duplicate nav entry

D-K-P · D-K-P · commit 6e40c3a1973e · 2026-06-17T20:39:47.000+01:00
diff --git a/docs/docs.json b/docs/docs.json
@@ -192,12 +192,6 @@
               }
             ]
           },
-          {
-            "group": "Development",
-            "pages": [
-              "cli-dev-commands"
-            ]
-          },
           {
             "group": "Deployment",
             "pages": [
@@ -748,11 +742,13 @@
   "redirects": [
     {
       "source": "/cli-dev",
-      "destination": "/cli-dev-commands"
+      "destination": "/cli-dev-commands",
+      "permanent": true
     },
     {
       "source": "/cli-deploy",
-      "destination": "/cli-deploy-commands"
+      "destination": "/cli-deploy-commands",
+      "permanent": true
     },
     {
       "source": "/cli-development-commands",

Original file line number	Diff line number	Diff line change
`@@ -192,12 +192,6 @@`
`192`	`192`	`}`
`193`	`193`	`]`
`194`	`194`	`},`
`195`		`- {`
`196`		`- "group": "Development",`
`197`		`- "pages": [`
`198`		`- "cli-dev-commands"`
`199`		`- ]`
`200`		`- },`
`201`	`195`	`{`
`202`	`196`	`"group": "Deployment",`
`203`	`197`	`"pages": [`
`@@ -748,11 +742,13 @@`
`748`	`742`	`"redirects": [`
`749`	`743`	`{`
`750`	`744`	`"source": "/cli-dev",`
`751`		`- "destination": "/cli-dev-commands"`
	`745`	`+ "destination": "/cli-dev-commands",`
	`746`	`+ "permanent": true`
`752`	`747`	`},`
`753`	`748`	`{`
`754`	`749`	`"source": "/cli-deploy",`
`755`		`- "destination": "/cli-deploy-commands"`
	`750`	`+ "destination": "/cli-deploy-commands",`
	`751`	`+ "permanent": true`
`756`	`752`	`},`
`757`	`753`	`{`
`758`	`754`	`"source": "/cli-development-commands",`