src/Pure/Tools/build_job.scala

--- a/src/Pure/Tools/build_job.scala	Tue May 25 23:18:29 2021 +0200
+++ b/src/Pure/Tools/build_job.scala	Tue May 25 23:37:32 2021 +0200
@@ -384,7 +384,7 @@
             export(Export.MESSAGES, snapshot.messages.map(_._1))
 
             val citations = Library.distinct(rendering.citations(Text.Range.full).map(_.info))
-            export_text(Export.CITATIONS, cat_lines(citations))
+            export_text(Export.DOCUMENT_CITATIONS, cat_lines(citations))
         }
 
       session.all_messages += Session.Consumer[Any]("build_session_output")