summaryrefslogtreecommitdiff
path: root/doc/gf-quickstart.html
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-10-24 18:13:04 +0000
committerhallgren <hallgren@chalmers.se>2011-10-24 18:13:04 +0000
commit113c6f67466a38c884c0fb42018e54ec925d6165 (patch)
tree5a6fadb372eefa0fe2de04d92676459d64771306 /doc/gf-quickstart.html
parent7372da3d7fb056d12fbcb089ef1c99ad0b3d0520 (diff)
gf-quickstart.html: describe gf -server instead of pgf-http
Diffstat (limited to 'doc/gf-quickstart.html')
-rw-r--r--doc/gf-quickstart.html17
1 files changed, 9 insertions, 8 deletions
diff --git a/doc/gf-quickstart.html b/doc/gf-quickstart.html
index acbfc8947..58f47e30f 100644
--- a/doc/gf-quickstart.html
+++ b/doc/gf-quickstart.html
@@ -1,4 +1,4 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
+<!DOCTYPE html>
<html>
<head>
<title>GF Quickstart</title>
@@ -13,7 +13,7 @@
<p>
Aarne Ranta
<p>
-December 2010 for GF 3.2
+October 2011 for GF 3.2.10
<p>
@@ -126,14 +126,15 @@ You can use this in Haskell and Java programs, and also on web services, such as
fridge magnets
</ul>
-The quickest way to provide a GF web service is to start the program <tt>pgh-http</tt>
+The quickest way to provide a GF web service is to start GF with the <tt>-server</tt> option:
<pre>
- $ pgf-http
- Starting HTTP server, open http://localhost:41296/ in your web browser
-
- Options {documentRoot = "/home/aarne/.cabal/share/gf-server-1.0/www", port = 41296}
+ $ gf -server
+ This is GF version 3.2.10.
+ Built on linux/i386 with ghc-7.0, flags: interrupt server cclazy
+ Document root = /usr/local/share/gf-3.2.10/www
+ Starting HTTP server, open http://localhost:41296/ in your web browser.
</pre>
-which resides next to your <tt>gf</tt> program. You can view it locally by pointing your
+You can view it locally by pointing your
browser to the URL shown. You can add your own <tt>.pgf</tt> grammar to the service by
copying it over to the <tt>documentRoot</tt> directory. Just push "reload" in
your browser after each such update.