docs: add missing reference pages to mkdocs navigation
CI / benchmark-publish (pull_request) Has been skipped
CI / lint (pull_request) Successful in 14s
CI / build (pull_request) Successful in 16s
CI / quality (pull_request) Successful in 19s
CI / typecheck (pull_request) Successful in 31s
CI / security (pull_request) Successful in 32s
CI / unit_tests (pull_request) Has been cancelled
CI / coverage (pull_request) Has been cancelled
CI / benchmark-regression (pull_request) Has been cancelled
CI / integration_tests (pull_request) Has been cancelled
CI / docker (pull_request) Has been cancelled

Added decision_model, resource_handlers, and resources to the manually-authored
reference page nav entries in gen_ref_pages.py so mkdocs no longer warns about
pages existing in docs/reference/ but not included in the nav.

Refs: #408
This commit is contained in:
2026-02-24 01:15:26 +00:00
parent a7c51ed78c
commit d9a492c3ff
+3
View File
@@ -121,11 +121,14 @@ nav[("action_cli",)] = "action_cli.md"
nav[("actor_runtime",)] = "actor_runtime.md"
nav[("config_resolution",)] = "config_resolution.md"
nav[("decision_correction",)] = "decision_correction.md"
nav[("decision_model",)] = "decision_model.md"
nav[("invariants",)] = "invariants.md"
nav[("lsp",)] = "lsp.md"
nav[("phase_reversion",)] = "phase_reversion.md"
nav[("plan_cli",)] = "plan_cli.md"
nav[("repl",)] = "repl.md"
nav[("resource_handlers",)] = "resource_handlers.md"
nav[("resources",)] = "resources.md"
# Write the literate-nav summary file for the Reference section
with mkdocs_gen_files.open("reference/SUMMARY.md", "w") as nav_file: