From 4e1b96560af5f768e7cecec13a46795bd4d995f2 Mon Sep 17 00:00:00 2001
From: Adam Turner <9087854+aa-turner@users.noreply.github.com>
Date: Sat, 12 Apr 2025 01:36:21 +0100
Subject: [PATCH] Only copy archive files if the dist directory exists

---
 build_docs.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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",