changeset 76547 | 9fe5d8c70352 |
parent 76530 | 2bf13b30b98e |
child 76548 | 0af64cc2eee9 |
--- a/src/Pure/Admin/build_pdfjs.scala Wed Nov 30 21:36:06 2022 +0100 +++ b/src/Pure/Admin/build_pdfjs.scala Wed Nov 30 21:53:55 2022 +0100 @@ -29,7 +29,7 @@ val component = "pdfjs-" + version val component_dir = - Components.Directory.create(target_dir + Path.basic(component), progress = progress) + Components.Directory(target_dir + Path.basic(component)).create(progress = progress) /* download */