docs: restructure "Development" section (#1033)

### Summary of Changes * Group testing related pages together * Add link to contributing page
Safe-DS · Apr 12, 2024 · b930cd5 · b930cd5
1 parent 3d99f8d
commit b930cd5
Show file tree

Hide file tree

Showing 9 changed files with 35 additions and 32 deletions.
diff --git a/docs/development/call-graph-testing.md → ...development/testing/call-graph-testing.md b/docs/development/call-graph-testing.md → ...development/testing/call-graph-testing.md
diff --git a/docs/development/formatting-testing.md → ...development/testing/formatting-testing.md b/docs/development/formatting-testing.md → ...development/testing/formatting-testing.md
diff --git a/docs/development/generation-testing.md → ...development/testing/generation-testing.md b/docs/development/generation-testing.md → ...development/testing/generation-testing.md
diff --git a/docs/development/grammar-testing.md → docs/development/testing/grammar-testing.md b/docs/development/grammar-testing.md → docs/development/testing/grammar-testing.md
diff --git a/...development/partial-evaluation-testing.md → ...ent/testing/partial-evaluation-testing.md b/...development/partial-evaluation-testing.md → ...ent/testing/partial-evaluation-testing.md
diff --git a/docs/development/scoping-testing.md → docs/development/testing/scoping-testing.md b/docs/development/scoping-testing.md → docs/development/testing/scoping-testing.md
diff --git a/docs/development/typing-testing.md → docs/development/testing/typing-testing.md b/docs/development/typing-testing.md → docs/development/testing/typing-testing.md
diff --git a/docs/development/validation-testing.md → ...development/testing/validation-testing.md b/docs/development/validation-testing.md → ...development/testing/validation-testing.md
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
@@ -11,41 +11,43 @@ exclude_docs: |
 
 nav:
   - Home:
-      - README.md
+    - README.md
   - Language:
-      - language/README.md
-      - Pipeline Language:
-          - language/pipeline-language/README.md
-          - Pipelines: language/pipeline-language/pipelines.md
-          - Segments: language/pipeline-language/segments.md
-          - Statements: language/pipeline-language/statements.md
-          - Expressions: language/pipeline-language/expressions.md
-      - Common:
-          - language/common/README.md
-          - Comments: language/common/comments.md
-          - Packages: language/common/packages.md
-          - Imports: language/common/imports.md
-          - Parameters: language/common/parameters.md
-          - Results: language/common/results.md
-          - Types: language/common/types.md
-          - Variance: language/common/variance.md
-      - Stub Language:
-          - language/stub-language/README.md
-          - Classes: language/stub-language/classes.md
-          - Global Functions: language/stub-language/global-functions.md
-          - Enumerations: language/stub-language/enumerations.md
-          - Annotations: language/stub-language/annotations.md
-          - Type Parameters: language/stub-language/type-parameters.md
+    - language/README.md
+    - Pipeline Language:
+      - language/pipeline-language/README.md
+      - Pipelines: language/pipeline-language/pipelines.md
+      - Segments: language/pipeline-language/segments.md
+      - Statements: language/pipeline-language/statements.md
+      - Expressions: language/pipeline-language/expressions.md
+    - Common:
+      - language/common/README.md
+      - Comments: language/common/comments.md
+      - Packages: language/common/packages.md
+      - Imports: language/common/imports.md
+      - Parameters: language/common/parameters.md
+      - Results: language/common/results.md
+      - Types: language/common/types.md
+      - Variance: language/common/variance.md
+    - Stub Language:
+      - language/stub-language/README.md
+      - Classes: language/stub-language/classes.md
+      - Global Functions: language/stub-language/global-functions.md
+      - Enumerations: language/stub-language/enumerations.md
+      - Annotations: language/stub-language/annotations.md
+      - Type Parameters: language/stub-language/type-parameters.md
   - Standard Library: stdlib/
   - Development:
-      - Call Graph Testing: development/call-graph-testing.md
-      - Formatting Testing: development/formatting-testing.md
-      - Generation Testing: development/generation-testing.md
-      - Grammar Testing: development/grammar-testing.md
-      - Partial Evaluation Testing: development/partial-evaluation-testing.md
-      - Scoping Testing: development/scoping-testing.md
-      - Typing Testing: development/typing-testing.md
-      - Validation Testing: development/validation-testing.md
+    - Testing:
+      - Call Graph Testing: development/testing/call-graph-testing.md
+      - Formatting Testing: development/testing/formatting-testing.md
+      - Generation Testing: development/testing/generation-testing.md
+      - Grammar Testing: development/testing/grammar-testing.md
+      - Partial Evaluation Testing: development/testing/partial-evaluation-testing.md
+      - Scoping Testing: development/testing/scoping-testing.md
+      - Typing Testing: development/testing/typing-testing.md
+      - Validation Testing: development/testing/validation-testing.md
+    - Contributing 🌐: https://github.com/Safe-DS/DSL/contribute
 
 # Configuration of MkDocs & Material for MkDocs --------------------------------
 
@@ -71,6 +73,7 @@ theme:
       accent: indigo
   features:
     - content.code.copy
+    - content.tabs.link
     - content.tooltips
     - navigation.indexes
     - navigation.instant