obsolete (see 5d562dd387ae);

--- a/src/Pure/Build/build.scala	Mon Aug 11 22:30:06 2025 +0200
+++ b/src/Pure/Build/build.scala	Tue Aug 12 11:19:08 2025 +0200
@@ -390,7 +390,6 @@
     -g NAME      select session group NAME
     -j INT       maximum number of parallel jobs
                  (default: 1 for local build, 0 for build cluster)
-    -k KEYWORD   check theory sources for conflicts with proposed keywords
     -l           list session source files
     -n           no build -- take existing session build databases
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)