Subject: Re: Fonts in PostScript
From: Aaron Lehmann (aaronl@vitelus.com)
Date: Mon Oct 02 2000 - 02:21:18 CDT
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.
This archive was generated by hypermail 2b25 : Mon Oct 02 2000 - 02:21:57 CDT