From 532c1987b2b464053d5e85c71a775e83e758c1e7 Mon Sep 17 00:00:00 2001
From: innovaker <66737976+innovaker@users.noreply.github.com>
Date: Thu, 12 Nov 2020 12:18:45 +0000
Subject: refactor(docs): Move `dev-` documents into `/development`

Aligns to conventions introduced by newer documentation.
---
 docs/docusaurus.config.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/docusaurus.config.js')

diff --git a/docs/docusaurus.config.js b/docs/docusaurus.config.js
index 9754834287..2716039c67 100644
--- 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/",
             },
           ],
         },
-- 
cgit v1.2.3