src/Pure/Admin/build_release.scala

--- a/src/Pure/Admin/build_release.scala	Tue Feb 18 17:48:37 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Feb 18 19:07:06 2025 +0100
@@ -832,8 +832,9 @@
 
             val sfx_exe = tmp_dir + Component_Windows_App.sfx_path
             val sfx_txt =
-              File.read(Path.explode("~~/Admin/Windows/Installer/sfx.txt"))
-                .replace("{ISABELLE_NAME}", isabelle_name)
+              Library.trim_split_lines(
+                Component_Windows_App.sfx_txt.replace("{ISABELLE_NAME}", isabelle_name)
+              ).map(_ + "\r\n").mkString
 
             Bytes.write(context.dist_dir + isabelle_exe,
               Bytes.read(sfx_exe) + Bytes(sfx_txt) + Bytes.read(exe_archive))