22 while [ $cont == 1 ] ; do
23 if ! line
=`line`; then cont
=0; fi
24 # number=$((`echo $line | cut -b 1-5`))
26 echo proc
: $number 1>&2
27 size
=$
((`echo $line | cut -b 6-8`))
28 # echo "-$number-$size-"
29 plabel
=`echo -n "points_"; echo -n "$name"; echo -n "_"; echo -n "$number"`
30 echo "static pl_point $plabel[]={"
32 while [ $i -lt $size ]; do
33 c1
=`echo $line | cut -b $((9+$i*2))| sed 's/\\\\/\\\\\\\\/g'`
34 c2
=`echo $line | cut -b $((10+$i*2))| sed 's/\\\\/\\\\\\\\/g'`
36 echo -n " {.p_data=(((int)'$c1')<<8)+('$c2')}"
37 if [ $i -lt $
(($size-1)) ]; then
44 glyphs
+=`echo -e "\n{.gl_size=$size,.gl_points=$plabel,.gl_number=$number}"`
45 no_glyphs
=$
(($no_glyphs+1))
48 echo -e "\n\npl_glyph ${name}_glyphs[]={"
53 if [ $g -eq $
(($no_glyphs)) ]; then
62 echo "pl_font font_$name={"
63 echo " .f_label=\"PL\$FNT\","
64 echo " .f_size=$no_glyphs,"
65 echo " .f_glyphs=${name}_glyphs"
69 echo -e "\n/* End. */"