Fix Devbox Global Visibility (#688)

## Summary Devbox Global Docs aren't appearing on the sidebar, this fixes things ## How was it tested? Localhost
jetify-com · Feb 24, 2023 · dba0622 · dba0622
1 parent c826bec
commit dba0622
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/docs/app/docs/devbox_global.md b/docs/app/docs/devbox_global.md
@@ -1,5 +1,5 @@
 ---
-title: Use Devbox as your Primary Package manager
+title: Use Devbox as your Primary Package Manager
 ---
 
 In addition to managing isolated development environments, you can use Devbox as a general package manager. Devbox Global allows you to add packages to a global `devbox.json.` This is useful for installing a standard set of tools you want to use across multiple Devbox Projects.

diff --git a/docs/app/sidebars.js b/docs/app/sidebars.js
@@ -33,6 +33,9 @@ const sidebars = {
         }, {
             type: 'doc',
             id: 'contributor-quickstart'
+        }, {
+            type: 'doc',
+            id: 'devbox_global'
         }]
     }, {
         type: 'category',