diff -r 648fe09330f3 -r 3d8b37b1d798 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Wed Aug 17 11:57:13 2022 +0200
+++ b/src/Pure/Tools/build.scala	Wed Aug 17 14:42:20 2022 +0200
@@ -504,12 +504,10 @@
             progress.echo("Presenting " + session + " ...")
 
             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))
-              }
+              Presentation.html_context(
+                sessions_structure = deps.sessions_structure,
+                root_dir = presentation_dir,
+                nodes = presentation_nodes)
 
             using(database_context.open_session(deps.base_info(session))) { session_context =>
               Presentation.session_html(session_context, deps,