remove outdated js_lib copy

oscarlevin · oscarlevin · commit 9b94881a3c64 · 2026-01-14T12:26:39.000-07:00
diff --git 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__":
