From 59b36e0e4aa4875d9d5acfe7abf114a680b0aac9 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 22 Dec 2010 15:06:02 +0000
Subject: [PATCH] PGF web service: make the generated index.html for pgf-http a
 bit more informative

---
 src/server/Setup.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/server/Setup.hs b/src/server/Setup.hs
index 290fa3b8b..41a3edc7d 100644
--- a/src/server/Setup.hs
+++ b/src/server/Setup.hs
@@ -76,10 +76,12 @@ setupWWW args dest pkg lbi =
 
     create_root_index = writeFile (www_dir</>"index.html") index_html
 
-    index_html = "<h2>Available demos</h2>\n"
+    index_html = "<h1>PGF service</h1>\n<h2>Available demos</h2>\n"
                  ++"<ul><li><a href=\"minibar/minibar.html\">Minibar</a></ul>"
                  ++"Additional grammars can be installed in"
                  ++"<blockquote><code>"++grammars_dir++"</code></blockquote>"
+                 ++"<a href=\"http://www.grammaticalframework.org/\">"
+                 ++"Grammatical Framework</a>"
 execute command =
   do putStrLn command
      e <- system command