src/Pure/Tools/build.scala
changeset 72677 86fac52c2795
parent 72676 1cbf36ac4d0b
child 72683 b5e6f0d137a7
equal deleted inserted replaced
72676:1cbf36ac4d0b 72677:86fac52c2795
   488     }
   488     }
   489 
   489 
   490 
   490 
   491     /* PDF/HTML presentation */
   491     /* PDF/HTML presentation */
   492 
   492 
   493     if (!no_build) {
   493     if (!no_build && !progress.stopped && results.ok) {
   494       val presentation_chapters =
   494       val presentation_chapters =
   495         (for {
   495         (for {
   496           session_name <- deps.sessions_structure.build_topological_order.iterator
   496           session_name <- deps.sessions_structure.build_topological_order.iterator
   497           info = results.info(session_name)
   497           info = results.info(session_name)
   498           if presentation.enabled(info) && results(session_name).ok }
   498           if presentation.enabled(info) && results(session_name).ok }
   501       if (presentation_chapters.nonEmpty) {
   501       if (presentation_chapters.nonEmpty) {
   502         val presentation_dir = presentation.dir(store)
   502         val presentation_dir = presentation.dir(store)
   503         progress.echo("Presentation in " + presentation_dir.absolute)
   503         progress.echo("Presentation in " + presentation_dir.absolute)
   504 
   504 
   505         for ((_, (session_name, _)) <- presentation_chapters) {
   505         for ((_, (session_name, _)) <- presentation_chapters) {
       
   506           progress.expose_interrupt()
   506           progress.echo("Presenting " + session_name + " ...")
   507           progress.echo("Presenting " + session_name + " ...")
   507           Presentation.session_html(session_name, deps, store, presentation)
   508           Presentation.session_html(session_name, deps, store, presentation)
   508         }
   509         }
   509 
   510 
   510         val browser_chapters =
   511         val browser_chapters =