diff options
| author | aarne <unknown> | 2004-01-28 12:42:20 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-01-28 12:42:20 +0000 |
| commit | 1ca54cca208876f83014119da55e747d5342b434 (patch) | |
| tree | 63413b08d9e26f3a55f82c2da9dcb0c5eef1d06d /src/Makefile | |
| parent | 1b002dec90ce2b080301f54a8f84a91ca6669879 (diff) | |
Unicode. Batch transl into HTML.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 5f739e040..069a34e51 100644 --- a/src/Makefile +++ b/src/Makefile @@ -9,6 +9,8 @@ all: make today ; make ghc ghc: $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) $(GHCFUDFLAG) --make GF.hs -o gf2+ ; strip gf2+ ; mv gf2+ ../bin/ +gft: + $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) -itranslate --make translate/GFT.hs -o gft ; strip gft ; mv gft ../bin/ nofud: $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2n ; strip gf2n ; mv gf2n ../bin/ windows: |