src/Pure/Admin/build_release.scala

--- a/src/Pure/Admin/build_release.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Admin/build_release.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -11,7 +11,7 @@
   /** release context **/
 
   private def execute(dir: Path, script: String): Unit =
-    Isabelle_System.bash(script, cwd = dir.file).check
+    Isabelle_System.bash(script, cwd = dir).check
 
   private def execute_tar(dir: Path, args: String, strip: Boolean = false): Process_Result =
     Isabelle_System.gnutar(args, dir = dir, strip = strip).check