# HG changeset patch
# User wenzelm
# Date 1488282170 -3600
# Node ID 8bc9de2278c0eb02ac5dd7ba2de34eaf1c4008ee
# Parent  862157c7e78f67617e01c7be235cc6585e63fc4b
tuned message;

diff -r 862157c7e78f -r 8bc9de2278c0 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Feb 28 12:04:23 2017 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Feb 28 12:42:50 2017 +0100
@@ -212,8 +212,7 @@
     -W WEBSITE   produce minimal website in given directory
     -j INT       maximum number of parallel jobs (default 1)
     -l           build library
-    -p NAMES     platform families (comma separated list, default: """ +
-      default_platform_families.mkString(",") + """)
+    -p NAMES     platform families (default: """ + default_platform_families.mkString(",") + """)
     -r REV       Mercurial changeset id (default: RELEASE or tip)
 
   Build Isabelle release in base directory, using the local repository clone.