diff options
Diffstat (limited to 'Build/source/texk/kpathsea/mktex.opt')
-rw-r--r-- | Build/source/texk/kpathsea/mktex.opt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/texk/kpathsea/mktex.opt b/Build/source/texk/kpathsea/mktex.opt index b1bd143e8ef..9b123c77691 100644 --- a/Build/source/texk/kpathsea/mktex.opt +++ b/Build/source/texk/kpathsea/mktex.opt @@ -1,5 +1,6 @@ # mktex.opt -- common mktex* options, etc. -# Meant to be sourced after $usage, $version, and $MT_TEXMFMAIN have been set. +# Meant to be sourced after $usage, $version, and $MT_TEXMFMAIN have been set, +# and optionally mt_min_args and/or mt_max_args. # # Originally written by Thomas Esser. Public domain. # $Id$ @@ -8,7 +9,7 @@ if test "x$1" = x--help || test "x$1" = x-help; then echo "$usage" exit 0 elif test "x$1" = x--version || test "x$1" = x-version; then - echo "`basename $0` $version" + echo "$0 $version" kpsewhich --version exit 0 elif test $# -lt ${mt_min_args-1}; then |