diff options
Diffstat (limited to 'wrapper.sh')
-rwxr-xr-x | wrapper.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wrapper.sh b/wrapper.sh index 7e0e85b1515f..12202055b419 100755 --- a/wrapper.sh +++ b/wrapper.sh @@ -1,7 +1,7 @@ #!/bin/sh LIBPATH=/usr/share/inform7 -INFORM7="$LIBPATH/inform7" +INFORM7=/usr/bin/i7 if [ -z "$1" ] || [ "$1" = "-help" ] || [ "$1" = "--help" ]; then $INFORM7 -help; |