--- a/src/Pure/Tools/update.scala Sun Jan 15 15:30:25 2023 +0100
+++ b/src/Pure/Tools/update.scala Sun Jan 15 16:28:03 2023 +0100
@@ -14,6 +14,7 @@
def update_xml(options: Options, xml: XML.Body): XML.Body = {
val update_path_cartouches = options.bool("update_path_cartouches")
val update_cite = options.bool("update_cite")
+ val cite_commands = Library.space_explode(',', options.string("document_cite_commands"))
def upd(lang: Markup.Language, ts: XML.Body): XML.Body =
ts flatMap {
@@ -28,7 +29,7 @@
}
}
else if (update_cite && lang1.is_antiquotation) {
- List(XML.Text(Bibtex.update_cite_antiquotation(XML.content(body))))
+ List(XML.Text(Bibtex.update_cite_antiquotation(cite_commands, XML.content(body))))
}
else upd(lang1, body)
case XML.Elem(_, body) => upd(lang, body)