avoid former verbose_latex, which has been renamed to verbose in 52030acb19ac;

--- 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)