--- 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")))
}