From 08760fbfd80cb2fc4569782ea0bb003d231ac25b Mon Sep 17 00:00:00 2001
From: Oscar Levin <oscar.levin@unco.edu>
Date: Wed, 14 Jan 2026 12:26:04 -0700
Subject: [PATCH] remove outdated js_lib copy

---
 scripts/copy_cdn_files.py | 5 -----
 1 file changed, 5 deletions(-)

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__":