Removed the query exampel from navigation, moved principles to implem…

…entation
Fraunhofer-AISEC · Nov 18, 2024 · 98725ce · 98725ce
1 parent a976f57
commit 98725ce
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/docs/docs/DesignPrinciples/index.md → docs/docs/CPG/impl/design_principles.md b/docs/docs/DesignPrinciples/index.md → docs/docs/CPG/impl/design_principles.md
diff --git a/docs/mkdocs.yaml b/docs/mkdocs.yaml
@@ -157,7 +157,6 @@ nav:
       - "Usage as library": GettingStarted/library.md
       - "Using the Interactive CLI": GettingStarted/cli.md
       - "Using the Query API": GettingStarted/query.md
-      - "Query Examples": GettingStarted/query_examples.md
       - "Shortcuts to Explore the Graph": GettingStarted/shortcuts.md
   - "Specifications":
       - CPG/specs/index.md
@@ -167,12 +166,11 @@ nav:
       - "Evaluation Order Graph (EOG)": CPG/specs/eog.md
   - "Implementation":
       - CPG/impl/index.md
+      - "Design Principles": CPG/impl/design_principles.md
       - "Language Frontends": CPG/impl/language.md
       - "Scopes and Symbols": CPG/impl/scopes.md
       - "Passes": CPG/impl/passes.md
       - "Symbol Resolution": CPG/impl/symbol-resolver.md
-  - "Design Principles":
-      - Design Principles/index.md
   - "Contributing":
       - "Contributing to the CPG library": Contributing/index.md
     # This assumes that the most recent dokka build was generated with the "main" tag!