Make the new modular configs manual section visible

tweag · Mar 13, 2024 · 6a0d47a · 6a0d47a
1 parent 87c7290
commit 6a0d47a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/gatsby-config.js b/gatsby-config.js
@@ -27,6 +27,7 @@ module.exports = {
                 {name: "Tutorial", link: "/user-manual/tutorial"},
                 {name: "Syntax", link: "/user-manual/syntax"},
                 {name: "Merging", link: "/user-manual/merging"},
+                {name: "Modular Configurations", link: "/user-manual/modular-configurations"},
                 {name: "Correctness", link: "/user-manual/correctness"},
                 {name: "Typing", link: "/user-manual/typing"},
                 {name: "Contracts", link: "/user-manual/contracts"},