diff options
Diffstat (limited to 'Master/bin/armhf-linux/mktexpk')
| -rwxr-xr-x | Master/bin/armhf-linux/mktexpk | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Master/bin/armhf-linux/mktexpk b/Master/bin/armhf-linux/mktexpk index 48a57bd25c2..2672dc7f78c 100755 --- a/Master/bin/armhf-linux/mktexpk +++ b/Master/bin/armhf-linux/mktexpk @@ -5,11 +5,16 @@ # installation won't write this script over yours.) # # Originally written by Thomas Esser, Karl Berry, and Olaf Weber. -# Report bugs to tex-k@tug.org. # Public domain. -version='$Id: mktexpk 18407 2010-05-21 18:16:31Z karl $' +version='$Id: mktexpk 34656 2014-07-18 23:38:50Z karl $' progname=`echo $0 | sed 's%.*/%%'` + +# preferentially use subprograms from our own directory. +mydir=`echo "$0" | sed 's,/[^/]*$,,'` +mydir=`cd "$mydir" && pwd` +PATH="$mydir:$PATH"; export PATH + usage="Usage: $progname [OPTIONS] NAME [REDIRECT], Create a PK font. |