src/Pure/Admin/component_windows_app.scala
changeset 79578 4c4d71b00001
parent 79577 1c63babf226e
child 79579 72cb42f2db0a
--- a/src/Pure/Admin/component_windows_app.scala	Mon Feb 05 12:13:35 2024 +0100
+++ b/src/Pure/Admin/component_windows_app.scala	Mon Feb 05 12:59:34 2024 +0100
@@ -103,7 +103,7 @@
 * Application launcher: http://launch4j.sourceforge.net
 
 * Platform binaries "ld" and "windres" from GNU binutils:
-  """ + binutils_url + """
+  """ + binutils_url + build_script.mkString("\n\n    ", "\n    ", "") + """
 
 * Self-extracting installer:
   """ + sfx_url + """