src/Pure/Tools/update.scala

   val update_elements: Markup.Elements =
     Markup.Elements(Markup.UPDATE, Markup.LANGUAGE)
 
   def update_xml(options: Options, xml: XML.Body): XML.Body = {
     val update_path_cartouches = options.bool("update_path_cartouches")
-    val update_cite_commands = options.bool("update_cite_commands")
+    val update_cite = options.bool("update_cite")
 
     def upd(lang: Markup.Language, ts: XML.Body): XML.Body =
       ts flatMap {
         case XML.Wrapped_Elem(markup, body1, body2) =>
           val body = if (markup.name == Markup.UPDATE) body1 else body2

             }
           }
           else upd(lang1, body)
         case XML.Elem(_, body) => upd(lang, body)
         case XML.Text(s)
-        if update_cite_commands && (lang.is_document || lang.is_antiquotation) =>
+        if update_cite && (lang.is_document || lang.is_antiquotation) =>
           List(XML.Text(Bibtex.update_cite(s)))
         case t => List(t)
       }
     upd(Markup.Language.outer, xml)
   }