Searched refs:DITFont (Results 1 – 1 of 1) sorted by relevance
11 DITFont=$114 PSFontName=`head -1 ${DITFont}.map`15 Special=`tail +2 ${DITFont}.map`17 echo "# $PSFontName" > $DITFont18 echo "name $DITFont" >> $DITFont19 echo "$Special" >> $DITFont21 awk -f afmdit.awk ${DITFont}.map $AFMDIR/${PSFontName}.afm22 cat temp.header temp.spaces temp.trailer >> $DITFont23 mv temp.aux ${DITFont}.aux