# HG changeset patch
# User wenzelm
# Date 1346070894 -7200
# Node ID d25e47e32bc01852a6b34153184b55e902ca36da
# Parent  c6e679443adceb4bc0a2ab6352b6a22276521ea6
tuned;

diff -r c6e679443adc -r d25e47e32bc0 src/Pure/Thy/present.ML
--- a/src/Pure/Thy/present.ML	Sun Aug 19 17:45:07 2012 +0200
+++ b/src/Pure/Thy/present.ML	Mon Aug 27 14:34:54 2012 +0200
@@ -383,19 +383,6 @@
         SOME (isabelle_browser sorted_graph)
       else NONE;
 
-    fun prepare_sources doc_dir doc_mode =
-     (Isabelle_System.mkdirs doc_dir;
-      (case doc_mode of
-        Dump_all => Isabelle_System.copy_dir document_path doc_dir
-      | Dump_tex_sty =>
-          ignore (Isabelle_System.isabelle_tool "latex"
-            ("-o sty " ^ File.shell_path (Path.append doc_dir (Path.basic "root.tex"))))
-      | Dump_tex => ());
-      (case opt_graphs of NONE => () | SOME (pdf, eps) =>
-        (File.write (Path.append doc_dir graph_pdf_path) pdf;
-          File.write (Path.append doc_dir graph_eps_path) eps));
-      write_tex_index tex_index doc_dir;
-      List.app (fn (a, {tex_source, ...}) => write_tex tex_source a doc_dir) thys);
     val _ =
       if info then
        (Isabelle_System.mkdirs (Path.append html_prefix session_path);
@@ -416,6 +403,20 @@
         else ())
       else ();
 
+    fun prepare_sources doc_dir doc_mode =
+     (Isabelle_System.mkdirs doc_dir;
+      (case doc_mode of
+        Dump_all => Isabelle_System.copy_dir document_path doc_dir
+      | Dump_tex_sty =>
+          ignore (Isabelle_System.isabelle_tool "latex"
+            ("-o sty " ^ File.shell_path (Path.append doc_dir (Path.basic "root.tex"))))
+      | Dump_tex => ());
+      (case opt_graphs of NONE => () | SOME (pdf, eps) =>
+        (File.write (Path.append doc_dir graph_pdf_path) pdf;
+          File.write (Path.append doc_dir graph_eps_path) eps));
+      write_tex_index tex_index doc_dir;
+      List.app (fn (a, {tex_source, ...}) => write_tex tex_source a doc_dir) thys);
+
     val _ =
       if dump_prefix = "" then ()
       else