From 1ca54cca208876f83014119da55e747d5342b434 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 28 Jan 2004 12:42:20 +0000
Subject:  Unicode. Batch transl into HTML.

---
 src/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Makefile')

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:
-- 
cgit v1.2.3