diff options
| author | Karl Berry <karl@freefriends.org> | 2015-04-21 23:29:35 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2015-04-21 23:29:35 +0000 |
| commit | 8c2e40fe74a81104b2a5ae87d4f055d492bca8fe (patch) | |
| tree | 3d89c0e63a59f93c24fad631c55c147beb7fd6a4 /Master/bin/armhf-linux/mktexmf | |
| parent | 8def3d11a29e0d6b6fb2d2421aff408e38cadc57 (diff) | |
armhf/tl15
git-svn-id: svn://tug.org/texlive/trunk@36983 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/armhf-linux/mktexmf')
| -rwxr-xr-x | Master/bin/armhf-linux/mktexmf | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/Master/bin/armhf-linux/mktexmf b/Master/bin/armhf-linux/mktexmf index d5c77a8856d..bb868c12a8d 100755 --- a/Master/bin/armhf-linux/mktexmf +++ b/Master/bin/armhf-linux/mktexmf @@ -7,12 +7,21 @@ # Originally written by Thomas Esser. # Public domain. -version='$Id: mktexmf 26569 2012-05-22 16:05:18Z karl $' -progname=`echo $0 | sed 's%.*/%%'` -usage="Usage: $progname FONT. +version='$Id: mktexmf 34656 2014-07-18 23:38:50Z karl $' + +# preferentially use subprograms from our own directory. +mydir=`echo "$0" | sed 's,/[^/]*$,,'` +mydir=`cd "$mydir" && pwd` +PATH="$mydir:$PATH"; export PATH + +usage="Usage: $0 FONT. Makes the Metafont source file for FONT, if possible. For example, -\`ecr12' or \`cmr11'." +\`ecr12' or \`cmr11'. + +Report bugs to: tex-k@tug.org +TeX Live home page: <http://tug.org/texlive/> +" # Common code for all scripts. : ${MT_TEXMFMAIN=`kpsewhich --expand-path='$TEXMFMAIN'`} |