diff -r 517b17e54d28 -r 3e4df2e689ff src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Jan 05 13:08:45 2021 +0100
+++ b/src/Pure/Tools/build.scala	Tue Jan 05 14:21:18 2021 +0100
@@ -516,7 +516,7 @@
             Presentation.session_html(
               resources, session_name, deps, db_context, progress = progress,
               verbose = verbose, html_context = html_context,
-              html_elements = Presentation.html_elements1, presentation = presentation)
+              elements = Presentation.elements1, presentation = presentation)
           })
 
         val browser_chapters =