Separate developers>contributing into its own section

TuringLang · Aug 30, 2024 · 0b3bb94 · 0b3bb94
1 parent 5d2129c
commit 0b3bb94
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/_quarto.yml b/_quarto.yml
@@ -97,19 +97,23 @@ website:
               - text: "Gaussian Process Latent Variable Models"
                 href: tutorials/12-gplvm/index.qmd
 
-          - section: "For Developers (PPL)"
+          - section: "Developers: Contributing"
             collapse-level: 1
             contents:
               - text: "How to Contribute"
                 href: tutorials/docs-01-contributing-guide/index.qmd
+
+          - section: "Developers: PPL"
+            collapse-level: 1
+            contents:
               - tutorials/docs-05-for-developers-compiler/index.qmd
               - text: "A Mini Turing Implementation I: Compiler"
                 href: tutorials/14-minituring/index.qmd
               - text: "A Mini Turing Implementation II: Contexts"
                 href: tutorials/16-contexts/index.qmd
               - tutorials/docs-06-for-developers-interface/index.qmd
 
-          - section: "For Developers (Inference)"
+          - section: "Developers: Inference"
             collapse-level: 1
             contents:
               - tutorials/docs-04-for-developers-abstractmcmc-turing/index.qmd