From b464ea5bac0c7f9f3760713f2f6d6aeba74592a8 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Wed, 23 Jun 2004 14:15:16 +0000
Subject: [PATCH] binary-dist now builds the gf binary. this takes a looong
 time.

---
 src/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index 6c9aedded..03bb2c60a 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -132,8 +132,7 @@ binary-dist:
 	rm -rf $(BIN_DIST_DIR)
 	mkdir $(BIN_DIST_DIR)
 	./configure --host="$(host)" CPPFLAGS="`lib__readline -I` `lib__ncurses -I`" LDFLAGS="`lib__readline -l` `lib__ncurses -l`"
-#	make unix gfdoc jar
-	make gfdoc jar
+	make unix gfdoc jar
 	$(INSTALL) ../bin/gf util/gfdoc $(BIN_DIST_DIR)
 	$(INSTALL) -m 0644 java/gf-java.jar $(BIN_DIST_DIR)
 	$(INSTALL) configure $(BIN_DIST_DIR)