GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-20 08:32:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

PGF web service: make the generated index.html for pgf-http a bit more informative

Browse Source
This commit is contained in:
hallgren
2010-12-22 15:06:02 +00:00
parent 6eb3d8ae9c
commit 59b36e0e4a
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/server/Setup.hs
View File

@@ -76,10 +76,12 @@ setupWWW args dest pkg lbi =
create_root_index = writeFile (www_dir</>"index.html") index_html 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>" ++"<ul><li><a href=\"minibar/minibar.html\">Minibar</a></ul>"
++"Additional grammars can be installed in" ++"Additional grammars can be installed in"
++"<blockquote><code>"++grammars_dir++"</code></blockquote>" ++"<blockquote><code>"++grammars_dir++"</code></blockquote>"
++"<a href=\"http://www.grammaticalframework.org/\">"
++"Grammatical Framework</a>"
execute command = execute command =
do putStrLn command do putStrLn command
e <- system command e <- system command