From 2681ee91ed1b8abc38d22dd6d32bb142743077ab Mon Sep 17 00:00:00 2001
From: Adam Turner <9087854+aa-turner@users.noreply.github.com>
Date: Thu, 10 Oct 2024 23:19:51 +0100
Subject: [PATCH] fixup! Add an HTML-only (English) build variant

---
 build_docs.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_docs.py b/build_docs.py
index b3e0e89..207250b 100755
--- a/build_docs.py
+++ b/build_docs.py
@@ -620,7 +620,7 @@ class DocBuilder:
     @property
     def html_only(self):
         return (
-            self.select_output.startswith("only-html")
+            self.select_output in {"only-html", "only-html-en"}
             or self.quick
             or self.language.html_only
         )