diff -r 25fc7501b882 -r 989847d1ebab src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Thu Aug 18 11:24:20 2022 +0200
+++ b/src/Pure/Tools/build.scala	Thu Aug 18 11:43:27 2022 +0200
@@ -504,13 +504,11 @@
             progress.echo("Presenting " + session + " ...")
 
             val html_context =
-              Presentation.html_context(
-                sessions_structure = deps.sessions_structure,
-                root_dir = presentation_dir,
-                nodes = presentation_nodes)
+              Presentation.html_context(deps.sessions_structure, Presentation.elements1,
+                root_dir = presentation_dir, nodes = presentation_nodes)
 
             using(database_context.open_session(deps.base_info(session))) { session_context =>
-              Presentation.session_html(html_context, session_context, Presentation.elements1,
+              Presentation.session_html(html_context, session_context,
                 progress = progress, verbose = verbose)
             }
           }, presentation_sessions.map(_.name))