diff --git a/build_docs.py b/build_docs.py index eb304b6..384f222 100755 --- a/build_docs.py +++ b/build_docs.py @@ -756,8 +756,14 @@ def build(self) -> None: else: maketarget = "autobuild-stable" if self.html_only: - maketarget += "-html" - logging.info("Running make %s", maketarget) + maketargets = [f"{maketarget}-html"] + else: + maketargets = [maketarget] + if self.includes_html: + # The plain autobuild targets only build non-HTML + # (gh-139436), but a combined build needs HTML. + maketargets.append(f"{maketarget}-html") + logging.info("Running make %s", " ".join(maketargets)) python = self.venv / "bin" / "python" sphinxbuild = self.venv / "bin" / "sphinx-build" blurb = self.venv / "bin" / "blurb" @@ -792,7 +798,7 @@ def build(self) -> None: f"VENVDIR={self.venv}", f"SPHINXOPTS={' '.join(sphinxopts)}", "SPHINXERRORHANDLING=", - maketarget, + *maketargets, )) self.log_directory.mkdir(parents=True, exist_ok=True) chgrp(self.log_directory, group=self.group, recursive=True)