fixup! Add an HTML-only (English) build variant

AA-Turner · AA-Turner · commit 2681ee91ed1b · 2024-10-10T23:19:51.000+01:00
diff --git 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
         )

Original file line number	Diff line number	Diff line change
`@@ -620,7 +620,7 @@ class DocBuilder:`
`620`	`620`	`@property`
`621`	`621`	`def html_only(self):`
`622`	`622`	`return (`
`623`		`- self.select_output.startswith("only-html")`
	`623`	`+ self.select_output in {"only-html", "only-html-en"}`
`624`	`624`	`or self.quick`
`625`	`625`	`or self.language.html_only`
`626`	`626`	`)`