src/Pure/Thy/document_build.scala

--- a/src/Pure/Thy/document_build.scala	Sun Aug 21 11:52:51 2022 +0200
+++ b/src/Pure/Thy/document_build.scala	Sun Aug 21 11:59:25 2022 +0200
@@ -180,7 +180,7 @@
       }
 
     lazy val session_graph: File.Content = {
-      val path = Presentation.session_graph_path
+      val path = Browser_Info.session_graph_path
       val content = graphview.Graph_File.make_pdf(options, base.session_graph_display)
       File.content(path, content)
     }