Back to copytree for dist -> dest

McStasMcXtrace · Aug 16, 2024 · a3fb7e3 · a3fb7e3
1 parent 5a02f87
commit a3fb7e3
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/tools/Python/mcdisplay/webgl/mcdisplay.py b/tools/Python/mcdisplay/webgl/mcdisplay.py
@@ -112,10 +112,7 @@ def copy(a, b):
         raise RuntimeError(f"The specified destination {dirname} already exists!")
 
     # Copy the app files - i.e. creating dest
-    if not os.name=='nt':
-        os.symlink(source.joinpath('dist'), dest)
-    else:
-        _winapi.CreateJunction(str(source.joinpath('dist')), str(dest))
+    copytree(source.joinpath('dist'), dest)
 
     # Copy package.json from source to dest
     package_json_source = source.joinpath('package.json')