Update mkdocs.yaml

Fraunhofer-AISEC · Jan 10, 2025 · 6d092a8 · 6d092a8
1 parent cd4e848
commit 6d092a8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/mkdocs.yaml b/docs/mkdocs.yaml
@@ -165,6 +165,7 @@ nav:
       - "Dataflow Graph (DFG) Function Summaries": CPG/specs/dfg-function-summaries.md
       - "Evaluation Order Graph (EOG)": CPG/specs/eog.md
       - "Inference of new nodes": CPG/specs/inference.md
+      - "Overlay Graph": CPG/specs/overlays.md
   - "Implementation":
       - CPG/impl/index.md
       - "Design Principles": CPG/impl/design_principles.md