# HG changeset patch
# User wenzelm
# Date 1267820995 -3600
# Node ID f1429d5df3d2381c63fd07594f2ab4633be4a7af
# Parent  f037aa6699c37d0b98c1fb90ea146064de065a4c
finish browser_info: invoke isabelle browser -b to ensure that the jar really exists;

diff -r f037aa6699c3 -r f1429d5df3d2 src/Pure/Thy/present.ML
--- a/src/Pure/Thy/present.ML	Fri Mar 05 21:26:21 2010 +0100
+++ b/src/Pure/Thy/present.ML	Fri Mar 05 21:29:55 2010 +0100
@@ -402,6 +402,7 @@
       if length path > 1 then update_index parent_html_prefix name else ();
       (case readme of NONE => () | SOME path => File.copy path html_prefix);
       write_graph sorted_graph (Path.append html_prefix graph_path);
+      File.isabelle_tool "browser" "-b";
       File.copy (Path.explode "~~/lib/browser/GraphBrowser.jar") html_prefix;
       List.app (fn (a, txt) => File.write (Path.append html_prefix (Path.basic a)) txt)
         (HTML.applet_pages name (Url.File index_path, name));