diff -r 6e1bf28d5a80 -r f95ed5a0600c src/Pure/Tools/build_job.scala
--- a/src/Pure/Tools/build_job.scala	Mon Jan 02 11:57:57 2023 +0100
+++ b/src/Pure/Tools/build_job.scala	Mon Jan 02 12:29:08 2023 +0100
@@ -33,8 +33,7 @@
       val master_dir =
         Url.strip_base_name(thy_file).getOrElse(
           error("Cannot determine theory master directory: " + quote(thy_file)))
-      val node_name =
-        Document.Node.Name(thy_file, master_dir = master_dir, theory = theory_context.theory)
+      val node_name = Document.Node.Name(thy_file, theory = theory_context.theory)
 
       val results =
         Command.Results.make(