Add new md file to site

mighty-gerbils · Oct 28, 2023 · 33ba35e · 33ba35e
1 parent 2c9ef82
commit 33ba35e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/.vuepress/config.js b/doc/.vuepress/config.js
@@ -14,7 +14,7 @@ module.exports = {
           '/guide/': [
               {
                   title: 'Guide',
-                  children: ['', 'intro', 'getting-started', 'ffi', 'emacs', 'shell', 'env-vars', 'package-manager', 'docker', 'macos', 'nix', 'r7rs']
+                  children: ['', 'intro', 'getting-started', 'ffi', 'emacs', 'shell', 'env-vars', 'package-manager', 'docker', 'macos', 'nix', 'r7rs', 'hacking-on-the-stdlib']
               }
           ],
           '/tutorials/': [