#! /bin/sh # # Usage: Gen old new name # # - Gererate tfm files and nwfadj files from OLD tfm and OLD nwfadj files. # Family name in NEW tfm is NAME. # # tftopl, pltotf TF2PL=/usr/local/src/TeX/ASCII-JTeX1.7/jtex/TeXware/pltotf/tftopl PL2TF=/usr/local/src/TeX/ASCII-JTeX1.7/jtex/TeXware/pltotf/pltotf # dir of old tfm files SRC=../jfmsrc # point sizes PT="5 6 7 8 9 10 12 17" O=$1 N=$2 F=$3 for P in $PT ; do echo echo Make $N$P.tfm from $SRC/$O$P.tfm echo rm -f $N$P.pl $N$P.tfm $N$P.nwfadj ##$TF2PL $SRC/$O$P.tfm $O$P.pl ##SCRI="sed 's/FAMILY[ ]*[A-Z]*/FAMILY " ##SCRI="$SCRI $F/' <$SRC/$O$P.pl >$N$P.pl" SCRI="sed 's/FAMILY[ ]*[A-Z]*/FAMILY " SCRI="$SCRI $F/' <$SRC/$O$P.pl >$N$P.pl" eval $SCRI ${PL2TF} $N$P.pl $N$P.tfm cp ${SRC}/${O}${P}.nwfadj ${N}${P}.nwfadj done