From 44a22a6f018bd4beb49b7aa735f94ff8f2cfedd3 Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Fri, 11 Apr 2025 13:11:46 +0300
Subject: [PATCH] Check if we're using GNU sed instead of macOS

---
 build_docs.py | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/build_docs.py b/build_docs.py
index 08ce611..c1d0981 100755
--- a/build_docs.py
+++ b/build_docs.py
@@ -657,10 +657,25 @@ def build(self):
                 f"-D ogp_site_url={site_url}",
             )
 
+            def is_gnu_sed() -> bool:
+                """Check if we are using GNU sed."""
+                try:
+                    subprocess.run(
+                        ["sed", "--version"],
+                        stdout=subprocess.DEVNULL,
+                        stderr=subprocess.DEVNULL,
+                        check=True,
+                    )
+                    return True
+                except subprocess.CalledProcessError:
+                    return False
+                except FileNotFoundError:
+                    return False
+
             # Disable CPython switchers, we handle them now:
             run(
                 ["sed", "-i"]
-                + ([""] if sys.platform == "darwin" else [])
+                + ([] if is_gnu_sed() else [""])
                 + ["s/ *-A switchers=1//", self.checkout / "Doc" / "Makefile"]
             )
             self.versions.setup_indexsidebar(