--- a/src/Pure/Tools/build.scala Sun Jan 03 12:11:56 2021 +0100
+++ b/src/Pure/Tools/build.scala Sun Jan 03 16:21:59 2021 +0100
@@ -515,7 +515,8 @@
progress.echo("Presenting " + session_name + " ...")
Presentation.session_html(
resources, session_name, deps, db_context, progress = progress,
- verbose = verbose, html_context = html_context, presentation = presentation)
+ verbose = verbose, html_context = html_context,
+ html_elements = Presentation.html_elements1, presentation = presentation)
})
val browser_chapters =