diff -r f78730341c87 -r af2d0e07493b src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sun Dec 20 13:20:09 2020 +0100
+++ b/src/Pure/Tools/build.scala	Sun Dec 20 15:47:54 2020 +0100
@@ -502,11 +502,15 @@
         val presentation_dir = presentation.dir(store)
         progress.echo("Presentation in " + presentation_dir.absolute)
 
+        val resources = Resources.empty
+        val html_context = Presentation.html_context()
+
         using(store.open_database_context())(db_context =>
           for ((_, (session_name, _)) <- presentation_chapters) {
             progress.expose_interrupt()
             progress.echo("Presenting " + session_name + " ...")
-            Presentation.session_html(session_name, deps, db_context, presentation)
+            Presentation.session_html(
+              resources, session_name, deps, db_context, html_context, presentation)
           })
 
         val browser_chapters =