/^#ifx10/,/^#/d
s/%%dot%%/./
/^#ifsubdir/,/^#/d
/^#ifgrey/,/^#/d
/^#ifmakepk/,/^#/d
/^#/d
s/%%defaultpagesize%%/8.5 x 11 inches/
s/%%bdpi%%/300/
s@%%DEFAULT_FONT_PATH%%   @.B /usr/lib/tex/fonts/pk\
@
s/%%DEFAULT_FONT_SIZES%%/150 :\
240 :\
300 :\
328.6 :\
360 :\
432 :\
450 :\
518 :\
622 :\
746/
s@%%DEFAULT_VF_PATH%%   @.TP\
.B /usr/lib/tex/fonts/vf\
@
