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/gfc.in | |
| parent | 7d7d951c05b9eb4c63c542fa0fd2cd46e43ad5bd (diff) | |
added api/Combinators for Eng
Diffstat (limited to 'src/gfc.in')
| -rw-r--r-- | src/gfc.in | 6 |
1 files changed, 3 insertions, 3 deletions
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 |