From 33ba35ee3170f162457556eabf865a30c2e39dee Mon Sep 17 00:00:00 2001 From: Noah Pederson Date: Fri, 27 Oct 2023 19:40:52 -0500 Subject: [PATCH] Add new md file to site --- doc/.vuepress/config.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/.vuepress/config.js b/doc/.vuepress/config.js index f0ad75af1..da17864b2 100644 --- 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/': [