From 4c47d222993121a3611c86a95b958779064e6b4e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Edouard=20Choini=C3=A8re?=
 <27212526+echoix@users.noreply.github.com>
Date: Sun, 18 Aug 2024 09:42:06 -0400
Subject: [PATCH] Format mkdocs search index in place (#3890)

---
 build.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/build.sh b/build.sh
index 153786fed68..0d8b89822c6 100755
--- a/build.sh
+++ b/build.sh
@@ -19,8 +19,7 @@ fi
 # Prettify `search_index.json` after `mkdocs`
 # `mkdocs` removed its own prettify few years ago: https://github.com/mkdocs/mkdocs/pull/1128
 if type python3 >/dev/null 2>/dev/null; then
-  python3 -m json.tool ./site/search/search_index.json >./site/search/search_index_new.json
+  python3 -m json.tool --sort-keys --no-indent ./site/search/search_index.json ./site/search/search_index.json
 else
-  python -m json.tool ./site/search/search_index.json >./site/search/search_index_new.json
+  python -m json.tool --sort-keys --no-indent ./site/search/search_index.json ./site/search/search_index.json
 fi
-mv -f -- ./site/search/search_index_new.json ./site/search/search_index.json