diff --git a/build_docs.py b/build_docs.py index 309d786..f47b0e3 100755 --- a/build_docs.py +++ b/build_docs.py @@ -802,6 +802,7 @@ def copy_build_to_webroot(self, http: urllib3.PoolManager) -> None: if not self.quick: # Copy archive files to /archives/ logging.debug("Copying dist files.") + (self.checkout / "Doc" / "dist").mkdir(exist_ok=True) run([ "chown", "-R",