|
|
1.1 ! root 1: case $# in ! 2: 0) echo 'makefont widthfile Name internal# ...'; exit ;; ! 3: esac ! 4: ! 5: arch=$1 ! 6: shift ! 7: ! 8: echo "# $* ! 9: name $1 ! 10: internalname $2" >$1 ! 11: awk ' ! 12: BEGIN { ! 13: OFS = " " ! 14: print "charset" ! 15: } ! 16: # read width file to get char number and width ! 17: $1 == "char" { ! 18: w[$2] = $7 ! 19: } ! 20: ! 21: # read proto file to get char name, number ! 22: $2 ~ /^[0123]$/ && NF == 3 { ! 23: print $1, w[$3], $2, $3 ! 24: if ($1 == "hy") ! 25: print "- \" =hy" ! 26: } ' $arch proto >>$1
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.