diff --git a/bin/jgf2 b/bin/jgf similarity index 100% rename from bin/jgf2 rename to bin/jgf diff --git a/doc/gf-index.html b/doc/gf-index.html index ebd5c1168..f5ce255f7 100644 --- a/doc/gf-index.html +++ b/doc/gf-index.html @@ -11,14 +11,14 @@

Version 2.0

-August 4, 2004. +August 10, 2004.

News

-August 4, 2004. GF 2.0 now released. +August 10, 2004. GF 2.0 now released. Here are the highlights. Software available on the Download Page. @@ -316,6 +316,6 @@ Or just get the sources and start hacking. Last modified by Aarne Ranta, -August 4, 2004. +August 10, 2004. \ No newline at end of file diff --git a/src/Makefile b/src/Makefile index 1d3814a6a..5effe1579 100644 --- a/src/Makefile +++ b/src/Makefile @@ -34,7 +34,7 @@ windows: today nofud-links justwindows install-java: javac -rm -f ../bin/java ln -s ../src/java ../bin - @echo "PLEASE edit GFHOME in bin/jgf2" + @echo "PLEASE edit GFHOME in bin/jgf" opt: $(GHMAKE) $(GHCOPTFLAGS) $(GHCINCLUDENOFUD) GF.hs -o gf strip gf @@ -70,9 +70,6 @@ nofud-links: ln -s ../for-ghc/Arch.hs for-ghc-nofud ln -s ../for-hugs/ArchEdit.hs for-ghc-nofud -batch: - $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) GF2.hs -o gf - strip gf api: $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) API.hs