# HG changeset patch
# User wenzelm
# Date 1396733760 -7200
# Node ID 92fb6be9a4601a2858df0f367b550e63b74dd1f4
# Parent  bc61161a5bd07b5cc389edca15fc29d5d025737d
more uniform build options;

diff -r bc61161a5bd0 -r 92fb6be9a460 src/Pure/Tools/build_doc.scala
--- 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) {