# HG changeset patch
# User wenzelm
# Date 1708607860 -3600
# Node ID aeb53334f5211bba23ad4da5a7c25cbd58373e1f
# Parent  b88d73810b50d1c64efc99295bb37f89eb6d32af
proper usage;

diff -r b88d73810b50 -r aeb53334f521 src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Thu Feb 22 14:08:31 2024 +0100
+++ b/src/Pure/Build/build.scala	Thu Feb 22 14:17:40 2024 +0100
@@ -564,6 +564,8 @@
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
     -r           remove data from build processes: inactive processes (default)
                  or all processes (option -f)
+
+  Manage Isabelle build process, notably distributed build cluster (option -C).
 """,
         "C" -> (_ => build_cluster = true),
         "f" -> (_ => force = true),