infra: check doc script skip index page (#25088)

This commit is contained in:
Erick Friis 2024-08-05 16:38:30 -07:00 committed by GitHub
parent e572521f2a
commit 423d286546
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -52,6 +52,9 @@ def _get_headers(doc_dir: str) -> Iterable[str]:
def check_header_order(path: Path) -> None:
if path.name.startswith("index."):
# skip index pages
return
doc_dir = path.parent.name
if doc_dir not in INFO_BY_DIR:
# Skip if not a directory we care about