diff options
| -rw-r--r-- | bin/jgf (renamed from bin/jgf2) | 0 | ||||
| -rw-r--r-- | doc/gf-index.html | 6 | ||||
| -rw-r--r-- | src/Makefile | 5 |
3 files changed, 4 insertions, 7 deletions
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 @@ <h2>Version 2.0</h2> -August 4, 2004. +August 10, 2004. </center> <p> </p><h2>News</h2> -<b>August 4, 2004. GF 2.0 now released</b>. +<b>August 10, 2004. GF 2.0 now released</b>. Here are the <a href="http://www.cs.chalmers.se/%7Eaarne/GF/doc/gf2-highlights.html">highlights</a>. Software available on the <a href="http://www.cs.chalmers.se/%7Eaarne/GF/download">Download Page</a>. @@ -316,6 +316,6 @@ Or just get the sources and start hacking. Last modified by <a href="http://www.cs.chalmers.se/%7Eaarne"> Aarne Ranta</a>, -August 4, 2004. +August 10, 2004. </body></html>
\ 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 |