# HG changeset patch
# User wenzelm
# Date 1605972155 -3600
# Node ID a9fea3f11cc033507a65ccafba5f37afdc2c26e2
# Parent  8ff7a0e394f9677700db29e85574238c898da321
clarified messages;

diff -r 8ff7a0e394f9 -r a9fea3f11cc0 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sat Nov 21 16:07:20 2020 +0100
+++ b/src/Pure/Tools/build.scala	Sat Nov 21 16:22:35 2020 +0100
@@ -492,14 +492,18 @@
 
     if (!no_build) {
       val presentation_dir = presentation.dir(store)
-      progress.echo("Presentation in " + presentation_dir.absolute + " ...")
+      progress.echo("Presentation in " + presentation_dir.absolute)
 
       val presentation_chapters =
-        for { info <- results.infos if results(info.name).ok && presentation.enabled(info) }
+        (for {
+          session_name <- deps.sessions_structure.build_topological_order.iterator
+          info = results.info(session_name)
+          if presentation.enabled(info) && results(session_name).ok }
         yield {
-          Presentation.session_html(info.name, deps, store, presentation)
-          (info.chapter, (info.name, info.description))
-        }
+          progress.echo("Presenting " + session_name + " ...")
+          Presentation.session_html(session_name, deps, store, presentation)
+          (info.chapter, (session_name, info.description))
+        }).toList
 
       val browser_chapters =
         presentation_chapters.groupBy(_._1).