From f8d4738a436c32c7c71e975b2dfd5559f9ebc73a Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 27 Jun 2008 16:48:28 +0000 Subject: added api/Combinators for Eng --- src/Makefile | 3 --- src/gfc.in | 6 +++--- 2 files changed, 3 insertions(+), 6 deletions(-) (limited to 'src') diff --git a/src/Makefile b/src/Makefile index eb645642b..e64c738ea 100644 --- a/src/Makefile +++ b/src/Makefile @@ -209,10 +209,7 @@ binary-dist: ./configure --host="$(host)" --build="$(build)" $(MAKE) all $(INSTALL) ../bin/$(GF_EXE) tools/$(GF_DOC_EXE) $(BIN_DIST_DIR) - $(INSTALL) -m 0644 JavaGUI/gf-java.jar $(BIN_DIST_DIR) - $(INSTALL) -m 0644 $(GFEDITOR)/gfeditor.jar $(BIN_DIST_DIR) $(INSTALL) configure config.guess config.sub install-sh $(BIN_DIST_DIR) - $(INSTALL) -m 0644 config.mk.in jgf.in gfeditor.in $(BIN_DIST_DIR) $(INSTALL) -m 0644 ../README ../LICENSE $(BIN_DIST_DIR) $(INSTALL) -m 0644 INSTALL.binary $(BIN_DIST_DIR)/INSTALL $(INSTALL) -m 0644 Makefile.binary $(BIN_DIST_DIR)/Makefile diff --git a/src/gfc.in b/src/gfc.in index 05addb2cb..9edd00ff0 100644 --- a/src/gfc.in +++ b/src/gfc.in @@ -11,14 +11,14 @@ exec_prefix="@exec_prefix@" GF_BIN_DIR="@bindir@" GF_DATA_DIR="@datadir@/GF-@PACKAGE_VERSION@" -GFBIN="$GF_BIN_DIR/gf3" +GFBIN="$GF_BIN_DIR/gf" if [ ! -x "${GFBIN}" ]; then - GFBIN=`which gf3` + GFBIN=`which gf` fi if [ ! -x "${GFBIN}" ]; then - echo "gf3 not found." + echo "gf not found." exit 1 fi -- cgit v1.2.3