12345678910111213141516 |
- #!/bin/sh
- # $Id: pfbtopfa,v 1.3 2001/06/22 16:09:22 lpd Exp $
- # Convert .pfb fonts to .pfa format
- if [ $# -eq 2 ]
- then
- outfile=$2
- elif [ $# -eq 1 ]
- then
- outfile=`basename "$1" \.pfb`.pfa
- else
- echo "Usage: `basename $0` input.pfb [output.pfa]" 1>&2
- exit 1
- fi
- exec gs -q -dNODISPLAY -- pfbtopfa.ps "$1" "$outfile"
|