src/Doc/System/Sessions.thy

--- a/src/Doc/System/Sessions.thy	Fri Jan 06 12:05:32 2023 +0100
+++ b/src/Doc/System/Sessions.thy	Fri Jan 06 13:06:03 2023 +0100
@@ -793,7 +793,7 @@
     -l NAME      additional base logic
     -n           no build -- take existing build databases
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
-    -u OPT       override "update" option: shortcut for "-o update_OPT"
+    -u OPT       override "update" option for selected sessions
     -v           verbose
     -x NAME      exclude session NAME and all descendants