diff options
| author | bringert <unknown> | 2004-06-22 15:28:07 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-22 15:28:07 +0000 |
| commit | bab786d20e876c86b3e1955bcac6bae354b1091b (patch) | |
| tree | a4cbab2b4b3b201c4db77f4ca75b3efee3fdf375 /src/jgf.in | |
| parent | d0ee0d6901ad5ece6f3abd6d7a6683c5bb0b1b3f (diff) | |
Rename gf2 and jgf2 to gf and jgf2
Diffstat (limited to 'src/jgf.in')
| -rw-r--r-- | src/jgf.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/jgf.in b/src/jgf.in new file mode 100644 index 000000000..046d1349c --- /dev/null +++ b/src/jgf.in @@ -0,0 +1,11 @@ +#!/bin/sh + +prefix=@prefix@ +exec_prefix=@exec_prefix@ +GF_BIN_DIR=@bindir@ +GF_LIB_DIR=@libdir@/GF-@PACKAGE_VERSION@ + +GF=$GF_BIN_DIR/gf2 +JARFILE=$GF_LIB_DIR/gf-java.jar + +java -jar $JARFILE "$GF -java $*"
\ No newline at end of file |