diff --git a/build_docs.py b/build_docs.py
index ac4f351..654c945 100755
--- 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",