--- a/src/Pure/Admin/build_llncs.scala Fri Nov 25 10:57:38 2022 +0100
+++ b/src/Pure/Admin/build_llncs.scala Fri Nov 25 13:38:15 2022 +0100
@@ -33,13 +33,7 @@
Isabelle_System.bash("unzip -x " + File.bash_path(download_file),
cwd = download_dir.file).check
- val llncs_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 llncs_dir = File.get_dir(download_dir, title = download_url)
val readme = Path.explode("README.md")
File.change(llncs_dir + readme)(_.replace(" ", "\u00a0"))