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 = "
"++grammars_dir++""
+ ++""
+ ++"Grammatical Framework"
execute command =
do putStrLn command
e <- system command