# HG changeset patch
# User wenzelm
# Date 1488295565 -3600
# Node ID a2522ea4321606ab91c93758e2b73da3bc27a6f6
# Parent  c64d778a593a16bd6b0b7c624fc28757714bcba8# Parent  8bc9de2278c0eb02ac5dd7ba2de34eaf1c4008ee
merged;

diff -r c64d778a593a -r a2522ea43216 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Feb 28 15:17:57 2017 +0000
+++ b/src/Pure/Admin/build_release.scala	Tue Feb 28 16:26:05 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.