#$Id: jer.awk,v 1.2 2002-04-06 19:07:34+03 rl Exp $
/^name|^internalname|^charset/	{print;next}
/^checksum|^designsize/		{next}
$2=="\""	{print;next}
# divide the numbers in the second field by U_dvi/U_ps = 1052.50816,
# where U:=res*unitwidth/sizescale (cf. DESC files, groff_font(5)).
{
	n=split($2,y,",")
	for(i=1;i<=n;i++){
		x=y[i]<=0?0:int(y[i]/1052.50816+0.5)
		if(!x&&i==n)break
		$2=i==1?x:$2","x
	}
	print
}