15 while [ $cont == 1 ] ; do
16 if ! line
=`line`; then cont
=0; fi
17 number
=$
((`echo $line | cut -b 1-5`))
18 echo proc
: $number 1>&2
19 size
=$
((`echo $line | cut -b 6-8`))
20 # echo "-$number-$size-"
21 plabel
="points_$number"
22 echo "static pl_point $plabel[]={"
24 while [ $i -lt $size ]; do
25 c1
=`echo $line | cut -b $((9+$i*2))| sed 's/\\\\/\\\\\\\\/g'`
26 c2
=`echo $line | cut -b $((10+$i*2))| sed 's/\\\\/\\\\\\\\/g'`
28 echo -n " {.p_data=(((int)'$c1')<<8)+('$c2')}"
29 if [ $i -lt $
(($size-1)) ]; then
36 glyphs
+=`echo -e "\n{.gl_size=$size,.gl_points=$plabel,.gl_number=$number}"`
37 no_glyphs
=$
(($no_glyphs+1))
40 echo -e "\n\npl_glyph hershey_glyphs[]={"
45 if [ $g -eq $
(($no_glyphs)) ]; then
54 echo "pl_font hershey_fonts={"
55 echo " .f_label=\"HERSHY\","
56 echo " .f_size=$no_glyphs,"
57 echo " .f_glyphs=hershey_glyphs"
61 echo -e "\n/* End. */"