src/Pure/Tools/update.scala

--- a/src/Pure/Tools/update.scala	Sun Feb 27 18:58:50 2022 +0100
+++ b/src/Pure/Tools/update.scala	Sun Feb 27 20:00:23 2022 +0100
@@ -92,7 +92,7 @@
     -d DIR       include session directory
     -g NAME      select session group NAME
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
-    -u OPT       overide update option: shortcut for "-o update_OPT"
+    -u OPT       override "update" option: shortcut for "-o update_OPT"
     -v           verbose
     -x NAME      exclude session NAME and all descendants