1.1 --- a/src/Pure/System/build.ML	Tue Jul 24 00:29:36 2012 +0200
     1.2 +++ b/src/Pure/System/build.ML	Tue Jul 24 10:11:49 2012 +0200
     1.3 @@ -22,7 +22,8 @@
     1.4      |> Unsynchronized.setmp Goal.parallel_proofs_threshold
     1.5          (Options.int options "parallel_proofs_threshold")
     1.6      |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace")
     1.7 -    |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads_limit");
     1.8 +    |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads_limit")
     1.9 +    |> Options.bool options "no_document" ? Present.no_document;
    1.10  
    1.11  fun build args_file =
    1.12    let
    1.13 @@ -38,7 +39,7 @@
    1.14          save
    1.15          false (* FIXME reset!? *)
    1.16          (Options.bool options "browser_info") browser_info
    1.17 -        (Options.string options "document_format")   (* FIXME dependent on "document" (!?) *)
    1.18 +        (Options.string options "document")
    1.19          (Options.bool options "document_graph")
    1.20          (space_explode "," (Options.string options "document_variants"))
    1.21          parent