src/Pure/Thy/present.ML
changeset 17177 53cc9e134f40
parent 17082 b0e9462db0b4
child 17210 e80fd664a119
equal deleted inserted replaced
17176:3a02e6349a5d 17177:53cc9e134f40
   380       else NONE;
   380       else NONE;
   381 
   381 
   382     fun prepare_sources path =
   382     fun prepare_sources path =
   383      (File.mkdir path;
   383      (File.mkdir path;
   384       File.copy_dir document_path path;
   384       File.copy_dir document_path path;
   385       File.copy (Path.unpack "~~/lib/texinputs/isabelle.sty") path;
   385       File.isatool ("latex -o sty " ^ File.shell_path (Path.append path (Path.basic "root.tex")));
   386       File.copy (Path.unpack "~~/lib/texinputs/isabellesym.sty") path;
       
   387       File.copy (Path.unpack "~~/lib/texinputs/pdfsetup.sty") path;
       
   388       (case opt_graphs of NONE => () | SOME (pdf, eps) =>
   386       (case opt_graphs of NONE => () | SOME (pdf, eps) =>
   389         (File.write (Path.append path graph_pdf_path) pdf;
   387         (File.write (Path.append path graph_pdf_path) pdf;
   390           File.write (Path.append path graph_eps_path) eps));
   388           File.write (Path.append path graph_eps_path) eps));
   391       write_tex_index tex_index path;
   389       write_tex_index tex_index path;
   392       List.app (finish_tex path) thys);
   390       List.app (finish_tex path) thys);