Skip to content

Commit 91bdde2

Browse files
sbryngelsonclaude
andcommitted
Fix cli page ID in lint_docs to match actual @page cli-reference
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 parent e821ca7 commit 91bdde2

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
@@ -323,7 +323,7 @@ def check_page_refs(repo_root: Path) -> list[str]:
323323

324324
# Collect all @page identifiers
325325
# Include Doxygen built-ins and auto-generated pages (created by ./mfc.sh generate)
326-
page_ids = {"citelist", "parameters", "case_constraints", "physics_constraints", "examples", "cli"}
326+
page_ids = {"citelist", "parameters", "case_constraints", "physics_constraints", "examples", "cli-reference"}
327327
for md_file in doc_dir.glob("*.md"):
328328
text = md_file.read_text(encoding="utf-8")
329329
m = re.search(r"^\s*@page\s+(\w+)", text, flags=re.MULTILINE)

0 commit comments

Comments
 (0)