refactor(docs): Move dev- documents into /development

Aligns to conventions introduced by newer documentation.
2026-03-19 20:45:18 -05:00 · 2020-11-12 12:18:45 +00:00
parent b6e63683d4
commit 532c1987b2
15 changed files with 31 additions and 28 deletions
--- a/docs/docusaurus.config.js
+++ b/docs/docusaurus.config.js
@@ -45,7 +45,7 @@ module.exports = {
            },
            {
              label: "Development",
-              to: "docs/dev-setup/",
+              to: "docs/development/setup/",
            },
          ],
        },