diff -r ccdca89e19d6 -r e5c0116a5c9f src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Wed Aug 17 15:30:42 2022 +0200
+++ b/src/Pure/Tools/build.scala	Wed Aug 17 15:44:51 2022 +0200
@@ -510,11 +510,8 @@
                 nodes = presentation_nodes)
 
             using(database_context.open_session(deps.base_info(session))) { session_context =>
-              Presentation.session_html(session_context, deps,
-                progress = progress,
-                verbose = verbose,
-                html_context = html_context,
-                Presentation.elements1)
+              Presentation.session_html(html_context, session_context, Presentation.elements1,
+                progress = progress, verbose = verbose)
             }
           }, presentation_sessions.map(_.name))
         }