diff options
Diffstat (limited to 'wrapper.sh')
| -rwxr-xr-x | wrapper.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/wrapper.sh b/wrapper.sh index aa31a9d36e84..7e0e85b1515f 100755 --- a/wrapper.sh +++ b/wrapper.sh @@ -2,4 +2,9 @@ LIBPATH=/usr/share/inform7 INFORM7="$LIBPATH/inform7" -$INFORM7 --no-census-update -internal $LIBPATH "$@" + +if [ -z "$1" ] || [ "$1" = "-help" ] || [ "$1" = "--help" ]; + then $INFORM7 -help; +elif [ "$1" = "-version" ] || [ "$1" = "--version" ]; + then $INFORM7 -version; +else $INFORM7 -no-census-update -internal $LIBPATH "$@"; fi |