src/Pure/Tools/build_job.scala

                   document_output.synchronized { document_output += msg }
                 override def echo_document(msg: String): Unit =
                   progress.echo_document(msg)
               }
             val documents =
-              Presentation.build_documents(session_name, deps, store,
-                output_sources = info.document_output,
-                output_pdf = info.document_output,
-                progress = document_progress,
-                verbose = verbose,
-                verbose_latex = true)
+              using(store.open_database_context(deps.sessions_structure))(db_context =>
+                Presentation.build_documents(session_name, deps, db_context,
+                  output_sources = info.document_output,
+                  output_pdf = info.document_output,
+                  progress = document_progress,
+                  verbose = verbose,
+                  verbose_latex = true))
             using(store.open_database(session_name, output = true))(db =>
               for ((doc, pdf) <- documents) {
                 db.transaction {
                   Presentation.write_document(db, session_name, doc, pdf)
                 }