Index: mono-tools.git/webdoc/Global.asax
===================================================================
--- /dev/null	1970-01-01 00:00:00.000000000 +0000
+++ mono-tools.git/webdoc/Global.asax	2011-05-05 23:13:25.000000000 +0100
@@ -0,0 +1,17 @@
+<%@ Application ClassName="Mono.Website.Global" %>
+<%@ Import Namespace="Monodoc" %>
+<%@ Assembly name="monodoc" %>
+
+<script runat="server" language="c#" >
+public static RootTree help_tree;
+
+void Application_Start ()
+{
+	HelpSource.use_css = true;
+	HelpSource.FullHtml = false;
+	HelpSource.UseWebdocCache = true;
+	help_tree = RootTree.LoadTree ();
+	SettingsHandler.Settings.EnableEditing = false;
+}
+
+</script>
Index: mono-tools.git/webdoc/Makefile.am
===================================================================
--- mono-tools.git.orig/webdoc/Makefile.am	2011-05-05 23:15:21.000000000 +0100
+++ mono-tools.git/webdoc/Makefile.am	2011-05-05 23:15:30.000000000 +0100
@@ -3,6 +3,7 @@
 web_DATA = \
 	common.css \
 	edit.aspx \
+	Global.asax \
 	header.aspx \
 	header.html \
 	index.aspx \