--- a/src/Pure/Tools/build.scala Fri Jan 01 23:35:09 2021 +0100
+++ b/src/Pure/Tools/build.scala Sat Jan 02 00:05:25 2021 +0100
@@ -514,7 +514,8 @@
progress.expose_interrupt()
progress.echo("Presenting " + session_name + " ...")
Presentation.session_html(
- resources, session_name, deps, db_context, progress, html_context, presentation)
+ resources, session_name, deps, db_context, progress = progress,
+ verbose = verbose, html_context = html_context, presentation = presentation)
})
val browser_chapters =