From 423d2865463e5f59ae44d2c730b6887b60a2abbc Mon Sep 17 00:00:00 2001 From: Erick Friis Date: Mon, 5 Aug 2024 16:38:30 -0700 Subject: [PATCH] infra: check doc script skip index page (#25088) --- docs/scripts/check_templates.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/scripts/check_templates.py b/docs/scripts/check_templates.py index 37d6549885d..085b95c5f90 100644 --- a/docs/scripts/check_templates.py +++ b/docs/scripts/check_templates.py @@ -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