--- a/src/Pure/Admin/build_easychair.scala Wed Nov 30 15:53:21 2022 +0100
+++ b/src/Pure/Admin/build_easychair.scala Wed Nov 30 21:36:06 2022 +0100
@@ -40,9 +40,7 @@
val component_dir =
Components.Directory.create(target_dir + Path.basic(component), progress = progress)
- Isabelle_System.rm_tree(component_dir.path)
- Isabelle_System.copy_dir(easychair_dir, component_dir.path)
- Isabelle_System.make_directory(component_dir.etc)
+ Isabelle_System.extract(download_file, component_dir.path, strip = true)
/* settings */