tuned -- according to main website;
authorwenzelm
Sun Apr 28 22:22:29 2019 +0200 (6 months ago)
changeset 70207511352b4d5d3
parent 70206 c7fa2b7d2c8a
child 70211 2388e0d2827b
tuned -- according to main website;
src/Pure/Admin/build_release.scala
     1.1 --- a/src/Pure/Admin/build_release.scala	Sun Apr 28 22:20:39 2019 +0200
     1.2 +++ b/src/Pure/Admin/build_release.scala	Sun Apr 28 22:22:29 2019 +0200
     1.3 @@ -39,7 +39,7 @@
     1.4      def bundle_info(platform: Platform.Family.Value): Bundle_Info =
     1.5        platform match {
     1.6          case Platform.Family.linux => Bundle_Info(platform, "Linux", dist_name + "_linux.tar.xz")
     1.7 -        case Platform.Family.macos => Bundle_Info(platform, "Mac OS X", dist_name + "_macos.tar.xz")
     1.8 +        case Platform.Family.macos => Bundle_Info(platform, "macOS", dist_name + "_macos.tar.xz")
     1.9          case Platform.Family.windows => Bundle_Info(platform, "Windows", dist_name + ".exe")
    1.10        }
    1.11    }