# HG changeset patch
# User wenzelm
# Date 1673781085 -3600
# Node ID 6106c5b4e6eba3ca62074eccd9783f7165d1307b
# Parent  7ca7343af00e34905d0ea200420b406b50cdd108
updated documentation;

diff -r 7ca7343af00e -r 6106c5b4e6eb NEWS
--- a/NEWS	Sun Jan 15 12:07:08 2023 +0100
+++ b/NEWS	Sun Jan 15 12:11:25 2023 +0100
@@ -33,8 +33,8 @@
   \<^cite>\<open>"isabelle-system" and "isabelle-jedit"\<close>
   \<^nocite>\<open>"isabelle-isar-ref"\<close>
 
-The command-line tool "isabelle update -u cite_commands -l HOL" helps to
-update former uses of raw \cite commands or old @{cite "name"}
+The command-line tool "isabelle update -u cite" helps to update former
+uses of LaTeX \cite commands and old-style @{cite "name"} document
 antiquotations.
 
 
diff -r 7ca7343af00e -r 6106c5b4e6eb src/Doc/System/Sessions.thy
--- a/src/Doc/System/Sessions.thy	Sun Jan 15 12:07:08 2023 +0100
+++ b/src/Doc/System/Sessions.thy	Sun Jan 15 12:11:25 2023 +0100
@@ -829,6 +829,9 @@
     use cartouches: this depends on language markup provided by semantic
     processing of parsed input.
 
+    \<^item> @{system_option update_cite} to update {\LaTeX} \<^verbatim>\<open>\cite\<close> commands and
+    old-style \<^verbatim>\<open>@{cite "name"}\<close> document antiquotations.
+
   It is also possible to produce custom updates in Isabelle/ML, by reporting
   \<^ML>\<open>Markup.update\<close> with the precise source position and a replacement
   text. This operation should be made conditional on specific system options,