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/mktextfm | |
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/mktextfm')
-rwxr-xr-x | Master/bin/armhf-linux/mktextfm | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/Master/bin/armhf-linux/mktextfm b/Master/bin/armhf-linux/mktextfm index bc65668e92e..46e30a9c5dc 100755 --- a/Master/bin/armhf-linux/mktextfm +++ b/Master/bin/armhf-linux/mktextfm @@ -7,13 +7,23 @@ # Primarily written by Thomas Esser, Karl Berry, and Olaf Weber. # Public domain. -version='$Id: mktextfm 16497 2009-12-24 18:38:47Z karl $' +version='$Id: mktextfm 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 [--destdir DESTDIR] FONT. Makes a TFM file for FONT, if possible. Use DESTDIR for the root of where to install into, either the absolute directory name to use (if it starts -with a /) or relative to the default DESTDIR (if not)." +with a /) or relative to the default DESTDIR (if not). + +Report bugs to: tex-k@tug.org +TeX Live home page: <http://tug.org/texlive/> +" # Handle non-positional options, except for --version/--help while test $# -gt 0; do |