src/Pure/Thy/present.ML
changeset 42009 b008525c4399
parent 42008 7423e833a880
child 42010 04f8c4851219
     1.1 --- a/src/Pure/Thy/present.ML	Sun Mar 20 19:47:26 2011 +0100
     1.2 +++ b/src/Pure/Thy/present.ML	Sun Mar 20 20:05:43 2011 +0100
     1.3 @@ -420,9 +420,9 @@
     1.4          else ()));
     1.5  
     1.6      val doc_paths =
     1.7 -      documents |> map (fn (name, tags) =>
     1.8 +      documents |> Par_List.map (fn (name, tags) =>
     1.9          let
    1.10 -          val path = Path.append html_prefix document_path;
    1.11 +          val path = Path.append html_prefix (Path.basic name);
    1.12            val _ = prepare_sources true path;
    1.13          in isabelle_document true doc_format name tags path html_prefix end);
    1.14      val _ =