diff options
| author | Karl Berry <karl@freefriends.org> | 2015-04-12 16:20:42 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2015-04-12 16:20:42 +0000 |
| commit | 99ebd94045fb45ebcb04f4d78cf78abf75fded8e (patch) | |
| tree | c76af7be21a47acb09701b89aafe67c08a49547d /Master/texmf-dist/web2c/mktex.opt | |
| parent | dfc1c99f1030854f63b0a01745a2b39f942887da (diff) | |
sync config scripts and files from Build to Master
git-svn-id: svn://tug.org/texlive/trunk@36791 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/web2c/mktex.opt')
| -rw-r--r-- | Master/texmf-dist/web2c/mktex.opt | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Master/texmf-dist/web2c/mktex.opt b/Master/texmf-dist/web2c/mktex.opt index bd5d0fbcc8f..48c594f2905 100644 --- a/Master/texmf-dist/web2c/mktex.opt +++ b/Master/texmf-dist/web2c/mktex.opt @@ -1,14 +1,15 @@ # 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: mktex.opt 18383 2010-05-20 18:31:24Z karl $ +# $Id: mktex.opt 34656 2014-07-18 23:38:50Z karl $ 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 |