diff --git a/scripts/copy_cdn_files.py b/scripts/copy_cdn_files.py
index 9acc8367..a3e2d4d1 100644
--- a/scripts/copy_cdn_files.py
+++ b/scripts/copy_cdn_files.py
@@ -69,11 +69,6 @@ def main(args=None) -> None:
             static_dir / "pretext" / "js",
             dirs_exist_ok=True,
         )
-        shutil.copytree(
-            Path(tmpdirname) / f"pretext-{CORE_COMMIT}" / "js_lib",
-            static_dir / "pretext" / "js" / "lib",
-            dirs_exist_ok=True,
-        )
 
 
 if __name__ == "__main__":