# HG changeset patch
# User wenzelm
# Date 1621976429 -7200
# Node ID 0909fd14f8a40fbe810ec110293f92656f8d1193
# Parent  466fae6bf22ed6fedda007c2b2c489d6489a1ce0
avoid former verbose_latex, which has been renamed to verbose in 52030acb19ac;

diff -r 466fae6bf22e -r 0909fd14f8a4 src/Pure/Tools/build_job.scala
--- a/src/Pure/Tools/build_job.scala	Tue May 25 22:28:39 2021 +0200
+++ b/src/Pure/Tools/build_job.scala	Tue May 25 23:00:29 2021 +0200
@@ -454,8 +454,7 @@
                   Document_Build.build_documents(
                     Document_Build.context(session_name, deps, db_context, progress = progress),
                     output_sources = info.document_output,
-                    output_pdf = info.document_output,
-                    verbose = verbose)
+                    output_pdf = info.document_output)
                 db_context.output_database(session_name)(db =>
                   documents.foreach(_.write(db, session_name)))
                 (documents.flatMap(_.log_lines), Nil)