diff -r 6f46853dbec4 -r 5d225d786177 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sat Jul 30 13:58:01 2022 +0200
+++ b/src/Pure/Tools/build.scala	Sat Jul 30 14:00:03 2022 +0200
@@ -504,10 +504,10 @@
 
             val html_context =
               new Presentation.HTML_Context {
+                override def nodes: Presentation.Nodes = presentation_nodes
                 override def root_dir: Path = presentation_dir
                 override def theory_session(name: Document.Node.Name): Sessions.Info =
                   deps.sessions_structure(deps(session).theory_qualifier(name))
-                override def nodes: Presentation.Nodes = presentation_nodes
               }
             Presentation.session_html(
               session, deps, db_context, progress = progress,