src/Pure/Tools/build.scala
changeset 61372 cf40b6b1de54
parent 61276 8a4bd05c1735
child 61375 0f91067f6f73
     1.1 --- a/src/Pure/Tools/build.scala	Fri Oct 09 16:07:14 2015 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Fri Oct 09 16:09:16 2015 +0200
     1.3 @@ -628,6 +628,9 @@
     1.4      {
     1.5        val res = result.join
     1.6  
     1.7 +      if (res.rc == 0 && !is_pure(name))
     1.8 +        Present.finish(progress, browser_info, graph_file, info, name)
     1.9 +
    1.10        graph_file.delete
    1.11        args_file.delete
    1.12        timeout_request.foreach(_.cancel)
    1.13 @@ -958,16 +961,7 @@
    1.14        for ((chapter, entries) <- browser_chapters)
    1.15          Present.update_chapter_index(browser_info, chapter, entries)
    1.16  
    1.17 -      if (browser_chapters.nonEmpty && !(browser_info + Path.explode("index.html")).is_file)
    1.18 -      {
    1.19 -        Isabelle_System.mkdirs(browser_info)
    1.20 -        File.copy(Path.explode("~~/lib/logo/isabelle.gif"),
    1.21 -          browser_info + Path.explode("isabelle.gif"))
    1.22 -        File.write(browser_info + Path.explode("index.html"),
    1.23 -          File.read(Path.explode("~~/lib/html/library_index_header.template")) +
    1.24 -          File.read(Path.explode("~~/lib/html/library_index_content.template")) +
    1.25 -          File.read(Path.explode("~~/lib/html/library_index_footer.template")))
    1.26 -      }
    1.27 +      if (browser_chapters.nonEmpty) Present.make_global_index(browser_info)
    1.28      }
    1.29  
    1.30