add missing index.md pages

Florian3k · Florian3k · commit 51b7d5500ad4 · 2022-09-06T16:27:26.000+02:00
diff --git a/docs/_docs/contributing/procedures/index.md b/docs/_docs/contributing/procedures/index.md
@@ -0,0 +1,4 @@
+---
+layout: index
+title: Procedures
+---
diff --git a/docs/_docs/contributing/tools/index.md b/docs/_docs/contributing/tools/index.md
@@ -0,0 +1,4 @@
+---
+layout: index
+title: IDEs and Tools
+---
diff --git a/docs/sidebar.yml b/docs/sidebar.yml
@@ -171,11 +171,13 @@ subsection:
       - page: contributing/debugging.md
       - title: IDEs and Tools
         directory: tools
+        index: contributing/tools/index.md
         subsection:
           - page: contributing/tools/ide.md
           - page: contributing/tools/mill.md
           - page: contributing/tools/scalafix.md
       - title: Procedures
+        index: contributing/procedures/index.md
         subsection:
           - page: contributing/procedures/release.md
           - page: contributing/procedures/vulpix.md

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +---
 +layout: index
 +title: Procedures
 +---