--- a/src/Pure/Tools/build.scala Wed Nov 03 20:53:52 2021 +0100
+++ b/src/Pure/Tools/build.scala Wed Nov 03 21:06:04 2021 +0100
@@ -501,6 +501,7 @@
val resources = Resources.empty
val html_context = Presentation.html_context()
+ val seen_nodes_cache = Presentation.Entity_Cache.empty
using(store.open_database_context())(db_context =>
for ((_, (session_name, _)) <- presentation_chapters) {
@@ -509,7 +510,8 @@
Presentation.session_html(
resources, session_name, deps, db_context, progress = progress,
verbose = verbose, html_context = html_context,
- elements = Presentation.elements1, presentation = presentation)
+ elements = Presentation.elements1, presentation = presentation,
+ seen_nodes_cache = seen_nodes_cache)
})
val browser_chapters =