diff --git a/core/docs/copy-files.sh b/core/docs/copy-files.sh
index 4cd4929f9..5fc8399f8 100755
--- a/core/docs/copy-files.sh
+++ b/core/docs/copy-files.sh
@@ -4,6 +4,6 @@ set -euo pipefail
 # copy files, passed as pairs of source and target locations, to the workspace
 # directory the calling rule is run from
 while (($#)); do
-  cp "$1" "$BUILD_WORKSPACE_DIRECTORY/$2"
+  cp --no-preserve=all "$1" "$BUILD_WORKSPACE_DIRECTORY/$2"
   shift; shift
 done