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/sidebars.js | |
parent | b6e63683d48d14af07da34ed60cc2389f26ea64a (diff) |
refactor(docs): Move `dev-` documents into `/development`
Aligns to conventions introduced by newer documentation.
Diffstat (limited to 'docs/sidebars.js')
-rw-r--r-- | docs/sidebars.js | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/docs/sidebars.js b/docs/sidebars.js index 59cfb1e..3e4d2e4 100644 --- a/docs/sidebars.js +++ b/docs/sidebars.js @@ -37,13 +37,16 @@ module.exports = { "codes/power", ], Development: [ - "dev-clean-room", - "dev-setup", - "dev-build-flash", - "dev-boards-shields-keymaps", - "dev-posix-board", - "dev-tests", + "development/clean-room", + "development/setup", + "development/build-flash", + "development/boards-shields-keymaps", + "development/posix-board", + "development/tests", + ], + "Dev Guides": [ + "development/guide-new-shield", + "development/guide-usb-logging", ], - "Dev Guides": ["dev-guide-new-shield", "dev-guide-usb-logging"], }, }; |