src/Pure/Tools/build_job.scala

--- a/src/Pure/Tools/build_job.scala	Mon Nov 23 16:18:22 2020 +0100
+++ b/src/Pure/Tools/build_job.scala	Tue Nov 24 16:39:58 2020 +0100
@@ -246,9 +246,9 @@
                   verbose = verbose,
                   verbose_latex = true))
             using(store.open_database(session_name, output = true))(db =>
-              for ((doc, pdf) <- documents) {
+              for (doc <- documents) {
                 db.transaction {
-                  Presentation.write_document(db, session_name, doc, pdf)
+                  Presentation.write_document(db, session_name, doc)
                 }
               })
           }