Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build_doc.scala
changeset 60992 89effcb342df
parent 56890 7f120d227ca5
child 61276 8a4bd05c1735 
--- a/src/Pure/Tools/build_doc.scala	Thu Aug 20 20:36:06 2015 +0200
+++ b/src/Pure/Tools/build_doc.scala	Thu Aug 20 21:08:47 2015 +0200
@@ -50,7 +50,7 @@
             Build.build(
               options.bool.update("browser_info", false).
                 string.update("document", "pdf").
-                string.update("document_output", Isabelle_System.posix_path(output)),
+                string.update("document_output", File.standard_path(output)),
               progress, clean_build = true, max_jobs = max_jobs, system_mode = system_mode,
               sessions = sessions)
           if (rc2 == 0) {
isabelle