src/Pure/Admin/build_doc.scala
changeset 72597 e8d7dc1c229c
parent 72594 e00089ddf462
child 72599 76550282267f
equal deleted inserted replaced
72596:b2bbe2e6575d 72597:e8d7dc1c229c
    44 
    44 
    45     progress.echo("Build started for documentation " + commas_quote(documents))
    45     progress.echo("Build started for documentation " + commas_quote(documents))
    46     val doc_options =
    46     val doc_options =
    47       options + "document=pdf" + "document_output=~~/doc" + "document_output_sources=false"
    47       options + "document=pdf" + "document_output=~~/doc" + "document_output_sources=false"
    48     val deps = Sessions.load_structure(doc_options).selection_deps(selection)
    48     val deps = Sessions.load_structure(doc_options).selection_deps(selection)
    49     for (session <- selection.sessions) {
    49 
    50       progress.expose_interrupt()
    50     val errs =
    51       Present.build_documents(session, deps, store, progress = progress)
    51       Par_List.map((doc_session: (String, String)) =>
    52     }
    52         try {
       
    53           progress.expose_interrupt()
       
    54           Present.build_documents(doc_session._2, deps, store, progress = progress)
       
    55           None
       
    56         }
       
    57         catch {
       
    58           case Exn.Interrupt.ERROR(msg) =>
       
    59             val sep = if (msg.contains('\n')) "\n" else " "
       
    60             Some("Documentation " + doc_session._1 + " failed:" + sep + msg)
       
    61         }, selected).flatten
       
    62 
       
    63     if (errs.nonEmpty) error(cat_lines(errs))
    53   }
    64   }
    54 
    65 
    55 
    66 
    56   /* Isabelle tool wrapper */
    67   /* Isabelle tool wrapper */
    57 
    68