equal
deleted
inserted
replaced
51 .getOrElse(error("Failed to detect version in " + changelog)) |
51 .getOrElse(error("Failed to detect version in " + changelog)) |
52 } |
52 } |
53 |
53 |
54 val component = "lipics-" + version |
54 val component = "lipics-" + version |
55 val component_dir = |
55 val component_dir = |
56 Components.Directory.create(target_dir + Path.basic(component), progress = progress) |
56 Components.Directory(target_dir + Path.basic(component)).create(progress = progress) |
57 |
57 |
58 Isabelle_System.copy_dir(lipics_dir, component_dir.path) |
58 Isabelle_System.copy_dir(lipics_dir, component_dir.path) |
59 |
59 |
60 |
60 |
61 /* settings */ |
61 /* settings */ |