src/Pure/Tools/build.scala
changeset 60992 89effcb342df
parent 60991 2fc5a44346b5
child 61276 8a4bd05c1735
     1.1 --- a/src/Pure/Tools/build.scala	Thu Aug 20 20:36:06 2015 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Thu Aug 20 21:08:47 2015 +0200
     1.3 @@ -586,14 +586,14 @@
     1.4                  pair(list(pair(Path.encode, Path.encode)), pair(string, pair(string,
     1.5                  pair(string, pair(string, list(pair(Options.encode, list(Path.encode)))))))))))))(
     1.6                (command_timings, (do_output, (info.options, (verbose, (browser_info,
     1.7 -                (info.document_files, (Isabelle_System.posix_path(graph_file), (parent,
     1.8 +                (info.document_files, (File.standard_path(graph_file), (parent,
     1.9                  (info.chapter, (name, theories)))))))))))
    1.10          }))
    1.11  
    1.12      private val env =
    1.13        Map("INPUT" -> parent, "TARGET" -> name, "OUTPUT" -> File.standard_path(output),
    1.14          (if (is_pure(name)) "ISABELLE_PROCESS_OPTIONS" else "ARGS_FILE") ->
    1.15 -          Isabelle_System.posix_path(args_file))
    1.16 +          File.standard_path(args_file))
    1.17  
    1.18      private val script =
    1.19        if (is_pure(name)) {