src/Pure/Tools/build.scala

                 (info.document_files, (Isabelle_System.posix_path(graph_file), (parent,
                 (info.chapter, (name, theories)))))))))))
         }))
 
     private val env =
-      Map("INPUT" -> parent, "TARGET" -> name, "OUTPUT" -> Isabelle_System.standard_path(output),
+      Map("INPUT" -> parent, "TARGET" -> name, "OUTPUT" -> File.standard_path(output),
         (if (is_pure(name)) "ISABELLE_PROCESS_OPTIONS" else "ARGS_FILE") ->
           Isabelle_System.posix_path(args_file))
 
     private val script =
       if (is_pure(name)) {