Re: Fonts in PostScript

[Pierre Abbat]

>Suggested user interface is a set of radio buttons (pardon the lame
>ASCII):
>
>  Fonts to include in PostScript output:
> _
>| | All
> ~
> _
>| | All but standard 13
> ~
> _
>| | None
> ~

That looks good. In the meantime, can you suggest how I might remove the
unneeded fonts from a file (perhaps a sed script)?

phma