Skip to content

Commit ecec301

Browse files
sbryngelsonclaude
andcommitted
Add architecture to pre-seeded page_ids in lint_docs.py
architecture.md is gitignored (generated at build time), so the linter glob never finds its anchor. Pre-seed it like the other generated pages to prevent CI failure. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 parent 87cd06f commit ecec301

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

toolchain/mfc/lint_docs.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -371,7 +371,7 @@ def check_page_refs(repo_root: Path) -> list[str]:
371371

372372
# Collect all @page identifiers (IDs may contain hyphens)
373373
# Include Doxygen built-ins and auto-generated pages (created by ./mfc.sh generate)
374-
page_ids = {"citelist", "parameters", "case_constraints", "physics_constraints", "examples", "cli-reference"}
374+
page_ids = {"citelist", "parameters", "case_constraints", "physics_constraints", "examples", "cli-reference", "architecture"}
375375
for md_file in doc_dir.glob("*.md"):
376376
text = md_file.read_text(encoding="utf-8")
377377
m = re.search(r"^\s*@page\s+([\w-]+)", text, flags=re.MULTILINE)

0 commit comments

Comments
 (0)