>        cat /sys/doc/docfonts $stem.ps >_$stem.ps

addpsfonts $stem.ps >_$stem.ps

should do a better job of identifying the necessary fonts.
/sys/doc/docfonts is just the ones used in /sys/doc.

Russ

Reply via email to