#!/bin/sh # original MakeTeXTFM -- make a new TFM file, because one wasn't found. # # (If you change or delete the word `original' on the previous line, # installation won't write this script over yours.) # # te@informatik.uni-hannover.de and kb@mail.tug.org. Public domain. version='$Id: MakeTeXTFM,v 1.5 1997/02/08 15:52:15 karl Exp karl $' usage="Usage: $0 FONT. Makes a TFM file for FONT, if possible." # The main system texmf tree: : ${TEXMFMAIN=`kpsewhich -expand-var='$TEXMFMAIN'`} if test -z "$TEXMFMAIN"; then echo "$0: No \$TEXMFMAIN; set the environment variable or in texmf.cnf." >&2 exit 1 fi . $TEXMFMAIN/web2c/MakeTeXcommon # start of redirection stdout -> stderr, stdin <- /dev/null ( NAME=`basename $1 .tfm` MAG=1 DEST=$2 DPI=$BDPI set x `$TEXMFMAIN/web2c/MakeTeXnames $NAME $DPI $MODE $DEST`; shift PKDEST=$1 TFMDEST=$2 PKDESTDIR=`echo $PKDEST | sed 's%/[^/][^/]*$%%'` # can't rely on dirname TFMDESTDIR=`echo $TFMDEST | sed 's%/[^/][^/]*$%%'` PKNAME=`basename $PKDEST` TFMNAME=$NAME.tfm GFNAME=$NAME.$DPI'gf' if test -r $TFMDESTDIR/$TFMNAME; then echo "$0: $TFMDESTDIR/$TFMNAME already exists." >&2 echo $TFMDESTDIR/$TFMNAME >$STDOUT $TEXMFMAIN/web2c/MakeTeXupdate $TFMDESTDIR $TFMNAME exit fi # Try to create the destdir first. Do not create fonts, if this fails. $TEXMFMAIN/web2c/MakeTeXmkdir "$TFMDESTDIR" if test ! -d "$TFMDESTDIR"; then echo "$0: MakeTeXmkdir $TFMDESTDIR failed." exit 1 fi cmd="mf \mode:=$MODE; mag:=$MAG; scrollmode; input $NAME" echo "$0: Running $cmd" $cmd $STDOUT echo "$0: $TFMDESTDIR/$TFMNAME: successfully generated." >&2 # Since we probably made a GF(->PK) file, too, may as well install it if # it's needed. cd $TEMPDIR if test -r $GFNAME && test ! -f $PKDESTDIR/$PKNAME; then gftopk ./$GFNAME $PKNAME || exit 1 $TEXMFMAIN/web2c/MakeTeXmkdir "$PKDESTDIR" mv $PKNAME $PKDESTDIR/pktmp.$$ || exit 1 cd $PKDESTDIR || exit 1 if test -f $PKNAME; then rm -f pktmp.$$ else mv pktmp.$$ $PKNAME chmod $MT_FILE_PERMS $PKNAME $TEXMFMAIN/web2c/MakeTeXupdate $PKDESTDIR $PKNAME fi fi ) 1>&2