diff options
author | innovaker <66737976+innovaker@users.noreply.github.com> | 2020-11-12 12:18:45 +0000 |
---|---|---|
committer | Pete Johanson <peter@peterjohanson.com> | 2020-11-20 22:31:56 -0500 |
commit | 532c1987b2b464053d5e85c71a775e83e758c1e7 (patch) | |
tree | 36345237a4bb814ed0fc4b68e5a324f302c4cddc /docs/docusaurus.config.js | |
parent | b6e63683d48d14af07da34ed60cc2389f26ea64a (diff) |
refactor(docs): Move `dev-` documents into `/development`
Aligns to conventions introduced by newer documentation.
Diffstat (limited to 'docs/docusaurus.config.js')
-rw-r--r-- | docs/docusaurus.config.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/docusaurus.config.js b/docs/docusaurus.config.js index 9754834..2716039 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/", }, ], }, |