diff --git a/doc/gf-index.html b/doc/gf-index.html
index 14bf389f2..37c50f4ef 100644
--- a/doc/gf-index.html
+++ b/doc/gf-index.html
@@ -21,63 +21,7 @@ August 10, 2004.
August 10, 2004. GF 2.0 now released.
Here are the highlights.
-Software available on the Download Page.
-
-
-
-
-
-Older news
-
-April 2, 2004. GF 2.0 beta version now released.
-Here are the highlights.
-Here is a source package
-which also includes documentation and example grammars.
-Comments and suggestions welcome!
-
-
-
-June 25, 2003. GF 1.2 released with updated binaries, sources,
-and grammar packages. Here are the highlights.
-
-
-
-May 25, 2003.
-A new version of the grammarian's tutorial, to be used in the
-ESSLLI summer school.
-
-
-
-March 27, 2003.
-Gramlets:
-GF grammars compiled to Java applets. Try out a GF editor demo.
-
-
-
-March 27, 2003. GF 1.1 released with updated binaries, sources,
-and grammar packages. Here are the highlights.
-Version 1.0 is still available as source package.
-
-
-
-
-November 1, 2002. Started web page on
-resource grammars.
-
-
-November 1, 2002. Get GF Zaurus applications
-here.
-
-
-
-September 6, 2002. GF on Sharp Zaurus SL5500 PDA:
-picture.
-This was made possible by an excellent
-Hugs port
-for Zaurus. To learn more about Zaurus, read this
-
-review.
-
+Software available on the Download Page.
What is GF?
@@ -148,7 +92,7 @@ but they can also be useful for language training.
GF is available precompiled for
several platforms: Linux, Mac OS X, Microsoft Windows, and Sun OS.
-For more information, see the Download Page.
+For more information, see the Download Page.
Source code
@@ -167,7 +111,7 @@ The platform-independent graphical user interface is written in
Here is a
GF source package, which includes a Makefile
for different platforms and Haskell compilers.
-The Download Page gives more information on
+The Download Page gives more information on
compiler requirements.
@@ -242,18 +186,17 @@ in Vienna 2003.
Miscellaneous
-
- -
-
-
-Package of example GF grammars
-
-
Gramlets:
GF grammars compiled to Java applets.
+
-
+
+Previous version of the GF Home Page
+last updated for GF, Version 1.2, 2003.
+
-
The GF Xerox Home Page
diff --git a/download/gf-download.html b/download/gf-download.html
new file mode 100644
index 000000000..f71668137
--- /dev/null
+++ b/download/gf-download.html
@@ -0,0 +1,135 @@
+GF Download
+
+
+
+
+
+Grammatical Framework Download and Install
+
+
+
+GF 2.0
+
+August 10, 2004
+
+
+
+
+Bonus: install the
+
+Flite Speech Synthesizer
+to get the Speak Aloud command (sa).
+
+
+
+
Linux
+
+Requirements
+
+RedHat >7.1 and Mandrake >9.2 have been tested.
+
+
+Download
+
+GF-2.0.rpm, binary RPM
+
+
+
+GF-2.0-linux.tgz, tar package with
+binaries, Java classes, and example grammars
+
+
+
+
+
Install
+
+Binary RPM:
+
+ rpm -i GF-2.0.rpm
+
+Tar package
+
+ tar xvfz GF-2.0-linux.tgz
+
+
+
+Run
+
+Without the GUI:
+
+ gf
+
+With the GUI:
+
+ jgf
+
+
+
+Macintosh
+
+Binary coming soon; until then compile from source.
+
+
+Microsoft Windows
+
+Binary coming soon; until then compile from source.
+
+
+Solaris
+
+Binary coming soon; until then compile from source.
+
+
+
+
+
+
+Requirements
+
+Linux, Windows, Mac OS X, or Solaris
+
+
+
+GHC
+(Glasgow Haskell Compiler)
+
+
+
+For the GUI: Java 1.4
+
+
+
Download
+
+GF-2.0.tgz,
+source and grammar package
+
+Compile and install
+
+Uncompress:
+
+ tar xvfz GF-2.0.tgz
+
+Follow instructions in GF-2.0/INSTALL
+
+
+Run
+
+Without the GUI:
+
+ gf
+
+With the GUI:
+
+ jgf
+
+
+
+
+
+Back to the GF Home Page.
+
+
+
+Last updated August 10, 2004.
+
+
diff --git a/src/Makefile b/src/Makefile
index 0d2a1b615..c9e190c89 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -84,7 +84,7 @@ distclean: clean
-rm -f java/gf-java.jar jgf
-rm -f util/gfdoc
-rm -f config.status config.mk config.log
- -rm -f *.tar.gz *.zip
+ -rm -f *.tgz *.zip
-rm -rf $(DIST_DIR) $(BIN_DIST_DIR)
hugs:
@@ -123,11 +123,11 @@ dist:
find $(DIST_DIR) -name .cvsignore -exec rm -f {} ';'
cd $(DIST_DIR)/grammars && sh mkLib.sh
cd $(DIST_DIR) && rm -rf $(NOT_IN_DIST)
- gtar -zcf $(DIST_DIR).tar.gz $(DIST_DIR)
+ gtar -zcf $(DIST_DIR).tgz $(DIST_DIR)
rm -rf $(DIST_DIR)
rpm: dist
- rpmbuild -ta $(DIST_DIR).tar.gz
+ rpmbuild -ta $(DIST_DIR).tgz
binary-dist:
rm -rf $(BIN_DIST_DIR)
@@ -141,7 +141,7 @@ binary-dist:
$(INSTALL) -m 0644 ../README ../LICENSE $(BIN_DIST_DIR)
$(INSTALL) -m 0644 INSTALL.binary $(BIN_DIST_DIR)/INSTALL
$(INSTALL) -m 0644 Makefile.binary $(BIN_DIST_DIR)/Makefile
- gtar -zcf GF-$(PACKAGE_VERSION)-$(host).tar.gz $(BIN_DIST_DIR)
+ gtar -zcf GF-$(PACKAGE_VERSION)-$(host).tgz $(BIN_DIST_DIR)
rm -rf $(BIN_DIST_DIR)
install-gf:
