Only copy archive files if the dist directory exists (#273)

AA-Turner · web-flow · commit feef5f169a1a · 2025-04-12T01:38:36.000+01:00
diff --git a/build_docs.py b/build_docs.py
@@ -784,10 +784,9 @@ def copy_build_to_webroot(self, http: urllib3.PoolManager) -> None:
                 target,
             ])
 
-        if not self.quick:
+        if not self.quick and (self.checkout / "Doc" / "dist").is_dir():
             # Copy archive files to /archives/
             logging.debug("Copying dist files.")
-            (self.checkout / "Doc" / "dist").mkdir(exist_ok=True)
             run([
                 "chown",
                 "-R",
