Patch Antora directories only

boostorg · Jan 10, 2024 · 81d499e · 81d499e
1 parent 6b9545a
commit 81d499e
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/ci_boost_release.py b/ci_boost_release.py
@@ -700,9 +700,15 @@ def command_build(self):
         release_lib_docs = os.path.join(
             self.releases_dir, self.boost_release_name, "libs"
         )
-        shutil.copytree(
-            antora_lib_docs, release_lib_docs, symlinks=False, dirs_exist_ok=True
-        )
+        for d in os.listdir(antora_lib_docs):
+            if not os.path.isdir(os.path.join(antora_lib_docs, d)):
+                continue
+            shutil.copytree(
+                os.path.join(antora_lib_docs, d),
+                os.path.join(release_lib_docs, d),
+                symlinks=False,
+                dirs_exist_ok=True,
+            )
 
         packages = []
         archive_files = []