src/Pure/Tools/build_job.scala

         try {
           if (build_errors.isInstanceOf[Exn.Res[_]] && process_result.ok && info.documents.nonEmpty) {
             using(store.open_database_context())(db_context =>
               {
                 val documents =
-                  Presentation.build_documents(session_name, deps, db_context,
+                  Document_Build.build_documents(session_name, deps, db_context,
                     output_sources = info.document_output,
                     output_pdf = info.document_output,
                     progress = progress,
                     verbose = verbose)
                 db_context.output_database(session_name)(db =>

               })
           }
           else (Nil, Nil)
         }
         catch {
-          case exn: Presentation.Build_Error => (exn.log_lines, List(exn.message))
+          case exn: Document_Build.Build_Error => (exn.log_lines, List(exn.message))
           case Exn.Interrupt.ERROR(msg) => (Nil, List(msg))
         }
 
       val result =
       {