src/Pure/Thy/present.ML
changeset 17177 53cc9e134f40
parent 17082 b0e9462db0b4
child 17210 e80fd664a119
--- a/src/Pure/Thy/present.ML	Sun Aug 28 19:46:49 2005 +0200
+++ b/src/Pure/Thy/present.ML	Sun Aug 28 19:47:24 2005 +0200
@@ -382,9 +382,7 @@
     fun prepare_sources path =
      (File.mkdir path;
       File.copy_dir document_path path;
-      File.copy (Path.unpack "~~/lib/texinputs/isabelle.sty") path;
-      File.copy (Path.unpack "~~/lib/texinputs/isabellesym.sty") path;
-      File.copy (Path.unpack "~~/lib/texinputs/pdfsetup.sty") path;
+      File.isatool ("latex -o sty " ^ File.shell_path (Path.append path (Path.basic "root.tex")));
       (case opt_graphs of NONE => () | SOME (pdf, eps) =>
         (File.write (Path.append path graph_pdf_path) pdf;
           File.write (Path.append path graph_eps_path) eps));