# HG changeset patch
# User wenzelm
# Date 1344415252 -7200
# Node ID e6e1b436caf0a6ac30865d010df312ad68cb46ce
# Parent  0829e958f0aabfefbb280c7fdd81f3127b505092
SOMEthing went utterly wrong in 5b51ccdc8623;

diff -r 0829e958f0aa -r e6e1b436caf0 src/Pure/System/build.scala
--- a/src/Pure/System/build.scala	Wed Aug 08 00:22:06 2012 +0200
+++ b/src/Pure/System/build.scala	Wed Aug 08 10:40:52 2012 +0200
@@ -399,7 +399,7 @@
         browser_info + Path.explode("isabelle.gif"))
       File.write(browser_info + Path.explode("index.html"),
         File.read(Path.explode("~~/lib/html/library_index_header.template")) +
-        File.read(Path.explode("~~/lib/html/library_index_Session_Content.template")) +
+        File.read(Path.explode("~~/lib/html/library_index_content.template")) +
         File.read(Path.explode("~~/lib/html/library_index_footer.template")))
     }