From 555a058e9fe76c0819d1469f0f7d585d62e6fc8c Mon Sep 17 00:00:00 2001 From: Gerard Marull-Paretas Date: Fri, 7 Nov 2025 12:10:37 +0100 Subject: [PATCH] doc: scripts: merge_search_indexes: align with Sphinx - Remove trailing ; - Use minimal JSON separators and sort keys Signed-off-by: Gerard Marull-Paretas --- doc/_scripts/merge_search_indexes.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/_scripts/merge_search_indexes.py b/doc/_scripts/merge_search_indexes.py index b7ae15cc4a3a..c54243be1933 100644 --- a/doc/_scripts/merge_search_indexes.py +++ b/doc/_scripts/merge_search_indexes.py @@ -61,8 +61,8 @@ def dump_search_index(index: dict, dst: Path) -> None: with open(dst, "w") as f: f.write("Search.setIndex(") - f.write(json.dumps(index)) - f.write(");") + f.write(json.dumps(index, separators=(",", ":"), sort_keys=True)) + f.write(")") def merge_doc_file_names(src: dict, dst: dict, src_docset: str) -> None: