diff -r 135787601438 -r 129fb11b357f src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sat Nov 06 11:25:03 2021 +0100
+++ b/src/Pure/Tools/build.scala	Sat Nov 06 15:25:20 2021 +0100
@@ -516,7 +516,7 @@
             Presentation.session_html(
               resources, info.name, deps, db_context, progress = progress,
               verbose = verbose, html_context = html_context,
-              elements = Presentation.elements1, presentation = presentation)
+              Presentation.elements1, presentation = presentation)
           })
       }
     }