1 files changed, 0 insertions, 93 deletions
diff --git a/download/index-3.1.6.html b/download/index-3.1.6.html
deleted file mode 100644
index f351fbb1e..000000000
--- a/download/index-3.1.6.html
+++ /dev/null
@@ -1,93 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<HTML>
-<HEAD>
-<META NAME="generator" CONTENT="http://txt2tags.sf.net">
-<TITLE>Grammatical Framework Download and Installation</TITLE>
-</HEAD><BODY BGCOLOR="white" TEXT="black">
-<P ALIGN="center"><CENTER><H1>Grammatical Framework Download and Installation</H1>
-<FONT SIZE="4">
-<I>Version 3.1.6, 23 April 2010</I><BR>
-</FONT></CENTER>
-
-<H2>Latest developer code</H2>
-<P>
-<A HREF="../doc/darcs.html">GF darcs repository</A>
-</P>
-<H2>Latest release</H2>
-<P>
-GF 3.1.6 released 23 April 2010.
-</P>
-<UL>
-<LI>MacOS X installer package:
-  <A HREF="gf-3.1.6-leopard.pkg"><CODE>gf-3.1.6-leopard.pkg</CODE></A> (7.7MB)
-<LI>MacOS X (gzipped executable, Leopard and Snow Leopard):
-  <A HREF="gf-3.1.6-bin-intel-mac.gz"><CODE>gf-3.1.6-bin-intel-mac.gz</CODE></A> (1.9MB)
-<LI>Windows (zipped executable):
-  <A HREF="gf-3.1.6-bin-i486-windows.zip"><CODE>gf-3.1.6-bin-i486-windows.zip</CODE></A>
-  (1.6 MB)
-<LI>Ubuntu Linux (gzipped executable): 
-  <A HREF="gf-3.1.6-bin-i486-linux.gz"><CODE>gf-3.1.6-bin-i486-linux.gz</CODE></A>
-  (1.7 MB)
-<LI>compiled library package:
-  <A HREF="gf-3.1.6-lib.tar.gz"><CODE>gf-3.1.6-lib.tar.gz</CODE></A>
-  (4.4 MB)
-<LI>full source package (GF system, libraries, examples, documentation):
-  <A HREF="gf-3.1.6-src.tar.gz"><CODE>gf-3.1.6-src.tar.gz</CODE></A>
-  (11 MB)
-<P></P>
-GF is also on <A HREF="http://hackage.haskell.org/package/gf">Hackage</A>
-</UL>
-
-<P>
-What's new? See the <A HREF="release-3.1.6.html">release notes</A>.
-</P>
-<H2>Previous releases</H2>
-<P>
-<A HREF="old-index.html">Follow this link</A>.
-</P>
-<H2>Installation instructions</H2>
-<P>
-The Windows package is installed by just unpacking it anywhere. 
-It finds the libraries relative to the <CODE>.exe</CODE> file.
-</P>
-<P>
-To install a binary package for MacOS X or Linux: uncompress the executable and
-put it somewhere on your path, renaming it to just <CODE>gf</CODE>. For instance:
-</P>
-<PRE>
-    gunzip gf-bin-[version].gz
-    sudo mv gf-bin-[version] /usr/local/bin/gf
-</PRE>
-<P>
-To install the libraries (if done separately), unpack them in the place to which your
-<CODE>GF_LIB_PATH</CODE> points.
-</P>
-<PRE>
-    cd $GF_LIB_PATH
-    gtar xvfz gf-lib-[VERSION].tgz
-</PRE>
-<P>
-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>
-<P>
-To compile and install from source on Mac or Linux, do:
-</P>
-<PRE>
-    tar xvfz gf-[VERSION].tgz
-    cd GF/src
-    runghc Setup configure --user
-    runghc Setup build
-    runghc Setup install
-</PRE>
-<P>
-The last command must be prefixed by <CODE>sudo</CODE>, if the installation is outside
-user-writeable area.
-</P>
-
-<!-- html code generated by txt2tags 2.5 (http://txt2tags.sf.net) -->
-<!-- cmdline: txt2tags -thtml ./download/index-3.1.6.t2t -->
-</BODY></HTML>