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