diff options
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 |