diff --git a/doc/_extensions/zephyr/external_content.py b/doc/_extensions/zephyr/external_content.py index e5e99c31f7a..8f4acfd3d70 100644 --- a/doc/_extensions/zephyr/external_content.py +++ b/doc/_extensions/zephyr/external_content.py @@ -154,7 +154,7 @@ def sync_contents(app: Sphinx) -> None: if not filecmp.cmp(src_adjusted, dst): dst.unlink() - src_adjusted.rename(dst) + shutil.move(os.fspath(src_adjusted), os.fspath(dst)) # remove any previously copied file not present in the origin folder, # excepting those marked to be kept.