From 5aa2a212bbbf6bce696665852d7da98f91c81d54 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Tue, 12 Jun 2018 15:53:58 +0200 Subject: Remove HTML files from VC which should be generated from txt2tags If these pages disappear from the web via www.grammaticalframework.org then this commit may need to be reversed --- download/index-3.1.6.html | 93 ----------------------------------------------- 1 file changed, 93 deletions(-) delete mode 100644 download/index-3.1.6.html (limited to 'download/index-3.1.6.html') 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 @@ - - - - -Grammatical Framework Download and Installation - -

Grammatical Framework Download and Installation

- -Version 3.1.6, 23 April 2010
- - -

Latest developer code

-GF darcs repository -

Latest release

-GF 3.1.6 released 23 April 2010. -

MacOS X installer package: - gf-3.1.6-leopard.pkg (7.7MB) -
MacOS X (gzipped executable, Leopard and Snow Leopard): - gf-3.1.6-bin-intel-mac.gz (1.9MB) -
Windows (zipped executable): - gf-3.1.6-bin-i486-windows.zip - (1.6 MB) -
Ubuntu Linux (gzipped executable): - gf-3.1.6-bin-i486-linux.gz - (1.7 MB) -
compiled library package: - gf-3.1.6-lib.tar.gz - (4.4 MB) -
full source package (GF system, libraries, examples, documentation): - gf-3.1.6-src.tar.gz - (11 MB) -
-GF is also on Hackage -

- -

-What's new? See the release notes. -

Previous releases

-Follow this link. -

Installation instructions

-The Windows package is installed by just unpacking it anywhere. -It finds the libraries relative to the .exe file. -

-To install a binary package for MacOS X or Linux: uncompress the executable and -put it somewhere on your path, renaming it to just gf. For instance: -

-    gunzip gf-bin-[version].gz
-    sudo mv gf-bin-[version] /usr/local/bin/gf
-

-To install the libraries (if done separately), unpack them in the place to which your -GF_LIB_PATH points. -

-    cd $GF_LIB_PATH
-    gtar xvfz gf-lib-[VERSION].tgz
-

-If this variable hasn't been defined, it is useful define it, e.g. -

-    export GF_LIB_PATH=/usr/local/lib/gf/
-

-To compile and install from source on Mac or Linux, do: -

-    tar xvfz gf-[VERSION].tgz
-    cd GF/src
-    runghc Setup configure --user
-    runghc Setup build
-    runghc Setup install
-

-The last command must be prefixed by sudo, if the installation is outside -user-writeable area. -

- - - - -- cgit v1.2.3