# HG changeset patch # User wenzelm # Date 1707134374 -3600 # Node ID 4c4d71b00001682be0b84c9b6453709011987d46 # Parent 1c63babf226e5a94760fc508b108baf0eae53804 tuned README; diff -r 1c63babf226e -r 4c4d71b00001 src/Pure/Admin/component_windows_app.scala --- 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 + """