# HG changeset patch
# User wenzelm
# Date 1125251244 -7200
# Node ID 53cc9e134f40f8d586b7c6dd9f1ada7deb173a02
# Parent  3a02e6349a5d96fe9e5f88d0c006833dc28c18fa
isatool latex -o sty;

diff -r 3a02e6349a5d -r 53cc9e134f40 src/Pure/Thy/present.ML
--- 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));