insist in proper 'document_files';
authorwenzelm
Sun Aug 10 15:59:12 2014 +0200 (2014-08-10)
changeset 578850835aa55ba21
parent 57884 36b5691b81a5
child 57886 7cae177c9084
insist in proper 'document_files';
src/Pure/Thy/present.ML
     1.1 --- a/src/Pure/Thy/present.ML	Sun Aug 10 15:45:06 2014 +0200
     1.2 +++ b/src/Pure/Thy/present.ML	Sun Aug 10 15:59:12 2014 +0200
     1.3 @@ -330,9 +330,7 @@
     1.4          val _ =
     1.5            Isabelle_System.isabelle_tool "latex"
     1.6              ("-o sty " ^ File.shell_path (Path.append doc_dir (Path.basic "root.tex")));
     1.7 -        val _ =
     1.8 -          if null doc_files then Isabelle_System.copy_dir document_path doc_dir
     1.9 -          else List.app (fn file => Isabelle_System.copy_file_base file doc_dir) doc_files;
    1.10 +        val _ = List.app (fn file => Isabelle_System.copy_file_base file doc_dir) doc_files;
    1.11          val _ =
    1.12            (case opt_graphs of
    1.13              NONE => ()
    1.14 @@ -360,12 +358,6 @@
    1.15          NONE => []
    1.16        | SOME path => map (document_job path false) documents);
    1.17  
    1.18 -    val _ =
    1.19 -      if not (null jobs) andalso null doc_files then
    1.20 -        Output.physical_stderr ("### Legacy feature! Document preparation for session " ^ quote name ^
    1.21 -          " without 'document_files'\n")
    1.22 -      else ();
    1.23 -
    1.24      val _ = jobs |> Par_List.map (fn job => job ()) |> List.app (op |>);
    1.25    in
    1.26      browser_info := empty_browser_info;