--- a/src/Pure/Admin/build_easychair.scala Fri Nov 25 10:57:38 2022 +0100
+++ b/src/Pure/Admin/build_easychair.scala Fri Nov 25 13:38:15 2022 +0100
@@ -30,13 +30,7 @@
Isabelle_System.bash("unzip -x " + File.bash_path(download_file),
cwd = download_dir.file).check
- val easychair_dir =
- File.read_dir(download_dir) match {
- case List(name) => download_dir + Path.explode(name)
- case bad =>
- error("Expected exactly one directory entry in " + download_file +
- bad.mkString("\n", "\n ", ""))
- }
+ val easychair_dir = File.get_dir(download_dir, title = download_url)
/* component */