added api/Combinators for Eng

1 files changed, 40 insertions, 28 deletions

diff --git a/download/index.html b/download/index.html
index 83081dd03..a065aa239 100644
--- a/download/index.html
+++ b/download/index.html
@@ -13,26 +13,45 @@
 <A HREF="../doc/darcs.html">GF darcs repository</A>
 </P>
 <H2>Latest release</H2>
+<UL>
+<LI><A HREF="gf-3.0beta-linux.gz">GF 3.0 beta Linux binary</A> (Intel, Ubuntu)
+<P></P>
+<LI><A HREF="gf-3.0beta-mac.gz">GF 3.0 beta MacOS X binary</A> (Intel Mac with Leopard)
+<P></P>
+<LI><A HREF="gf-3.0beta-mac.exe">GF 3.0 beta Windows binary</A>
+<P></P>
+<LI><A HREF="gf-3.0beta.tgz">GF 3.0 beta sources</A>
+<P></P>
+<LI><A HREF="gf-lib-1.4.tgz">GF libraries v 1.4</A> (compiled resource grammar libraries)
+</UL>
+
+<H2>Old releases</H2>
+<UL>
+<LI><A HREF="../../GF2/download/index.html">GF 2.9 download page</A>
+</UL>
+
+<H2>Installation instructions</H2>
 <P>
-<A HREF="gf-3.0beta-linux.gz">GF 3.0 beta Linux binary</A> (Intel, Ubuntu)
-</P>
-<P>
-<A HREF="gf-3.0beta-mac.gz">GF 3.0 beta MacOS X binary</A> (Intel Mac with Leopard)
+To install a binary, just uncompress it and copy to a place that is on your path,
+for instance, in <CODE>/usr/local/bin</CODE>.
 </P>
 <P>
-<A HREF="gf-3.0beta-mac.exe">GF 3.0 beta Windows binary</A>
+If you want to use GF as a batch compiler, put the following script in the
+same place as the GF binary. If it is <I>not</I> <CODE>/usr/local/bin</CODE>, change
+the <CODE>prefix</CODE> variable in the script.
 </P>
+<UL>
+<LI><A HREF="./gfc">gfc script for patch compiler</A>
+</UL>
+
 <P>
-<A HREF="gf-3.0beta.tgz">GF 3.0 beta sources</A>
+The Mac OS X binary (Intel) requires Readline from
+<A HREF="http://www.macports.org/">Mac Ports</A>. To install, see above item.
 </P>
 <P>
-<A HREF="gf-lib-1.4.tgz">GF libraries v 1.4</A> (compiled resource grammar libraries)
+The Windows binary is easiest if you have
+<A HREF="http://www.cygwin.com/">Cygwin</A>. To install, see above item.
 </P>
-<H2>Old releases</H2>
-<P>
-<A HREF="../../GF2/download/index.html">GF 2.9 download page</A>
-</P>
-<H2>Installation instructions</H2>
 <P>
 To compile and install from source: 
 </P>
@@ -45,27 +64,20 @@ To compile and install from source:
     make install
 </PRE>
 <P>
-To install a binary,
+To install the libraries, unpack them in the place to which your
+<CODE>GF_LIB_PATH</CODE> points.
 </P>
 <PRE>
-    tar xvfz BINARY-PACKAGE.tgz
-    cd GF-...
-    ./configure
-    make install
+    cd $GF_LIB_PATH
+    gtar xvfz gf-lib-1.4.tgz
 </PRE>
 <P>
-You may need <CODE>sudo make install</CODE>. 
-If you cannot write in <CODE>/usr/local/</CODE>, you can change the target directory
-by <CODE>./configure --prefix=MYDIR</CODE>.
-</P>
-<P>
-The Mac OS X binary (Intel) requires Readline from
-<A HREF="http://www.macports.org/">Mac Ports</A>. To install, see above item.
-</P>
-<P>
-The Windows binary is easiest if you have
-<A HREF="http://www.cygwin.com/">Cygwin</A>. To install, see above item.
+If this variable hasn't been defined, it is useful define it, e.g.
 </P>
+<PRE>
+    export GF_LIB_PATH=/usr/local/lib/gf/
+</PRE>
+<P></P>
 
 <!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) -->
 <!-- cmdline: txt2tags -thtml download/index.txt -->