diff options
Diffstat (limited to 'docs/docusaurus.config.js')
| -rw-r--r-- | docs/docusaurus.config.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/docusaurus.config.js b/docs/docusaurus.config.js index c9a07179ea..4017b125db 100644 --- a/docs/docusaurus.config.js +++ b/docs/docusaurus.config.js @@ -31,6 +31,7 @@ module.exports = { "linker-script", "log", "powershell", + "diff", ], theme, darkTheme, @@ -79,7 +80,7 @@ module.exports = { }, { label: "Development", - to: "docs/development/setup/", + to: "docs/development/setup", }, ], }, |