On Sun, Oct 01, 2000 at 03:52:48PM -0400, Pierre Abbat wrote:
> >Suggested user interface is a set of radio buttons (pardon the lame
> >ASCII):
> In the meantime, can you suggest how I might remove the
> unneeded fonts from a file (perhaps a sed script)?
>
This ed script should do it:
(echo '/%%BeginSetup/ ,/%%EndSetup/ d' ; echo 'wq') | ed $FILENAME > /dev/null
Of course, substitute $FILENAME for the file.
Unfortunately, accents don't seem to work when using the built-in
postscript fonts... Use the above expression cautiously.
