Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more uniform build options;
authorwenzelm
Sat, 05 Apr 2014 23:36:00 +0200
changeset 56430 92fb6be9a460
parent 56429 bc61161a5bd0
child 56431 4eb88149c7b2
more uniform build options;
src/Pure/Tools/build_doc.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build_doc.scala	Sat Apr 05 23:17:30 2014 +0200
+++ b/src/Pure/Tools/build_doc.scala	Sat Apr 05 23:36:00 2014 +0200
@@ -51,7 +51,8 @@
               options.bool.update("browser_info", false).
                 string.update("document", "pdf").
                 string.update("document_output", Isabelle_System.posix_path(output)),
-              progress, clean_build = true, sessions = sessions)
+              progress, clean_build = true, max_jobs = max_jobs, system_mode = system_mode,
+              sessions = sessions)
           if (rc2 == 0) {
             val doc_dir = Path.explode("$ISABELLE_HOME/doc").file
             for (doc <- selected_docs) {
isabelle