diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-27 16:48:28 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-27 16:48:28 +0000 |
| commit | f8d4738a436c32c7c71e975b2dfd5559f9ebc73a (patch) | |
| tree | 618c172d0b792a0bb4687a68307b9ae1a38bd4b9 /src | |
| parent | 7d7d951c05b9eb4c63c542fa0fd2cd46e43ad5bd (diff) | |
added api/Combinators for Eng
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 3 | ||||
| -rw-r--r-- | src/gfc.in | 6 |
2 files changed, 3 insertions, 6 deletions
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 |