#$Id: fix.awk,v 1.2 2002-04-06 19:07:33+03 rl Exp $
# Change the font width to 182 units by adding to all x coordinates half
# the difference between 182 and the original width.
# Note: 182 postscript units are 600 groff units, the width of Courier.
$1=="/isFixedPitch" {$2="true";print;next}
$1~/\/[a-z]*\[[0-9]*/ {split($1,x,"[")
	d=del[x[1]]=int((182-x[2]+.5)/2)
	$1=x[1]"[182";$3+=d;$5+=d;print;next}
/^\/[a-z]*$/ {d=del[$1];print;next}
$7=="curveto" {$1+=d;$3+=d;$5+=d;print;next}
$3=="moveto" {$1+=d;print;next}
$3=="lineto" {$1+=d;print;next}
{print}