--- a/src/Pure/Thy/sessions.scala Tue Jan 03 17:21:24 2023 +0100
+++ b/src/Pure/Thy/sessions.scala Tue Jan 03 20:34:51 2023 +0100
@@ -363,9 +363,12 @@
theory -> files.map(file => Path.explode(file.node))
}
+ val document_files =
+ for ((path1, path2) <- info.document_files)
+ yield info.dir + path1 + path2
+
val session_files =
- (theory_files ::: loaded_files.flatMap(_._2) :::
- info.document_files.map(file => info.dir + file._1 + file._2)).map(_.expand)
+ (theory_files ::: loaded_files.flatMap(_._2) ::: document_files).map(_.expand)
val imported_files = if (inlined_files) dependencies.imported_files else Nil