Re: getting rid of double spaces

[Amir Karger]

On Thu, Aug 12, 1999 at 02:58:38PM -0500, Richard E. Hawkins wrote:
> And I can't use another editor, as I have program output which relies 
> on double spaces inside some of my figures. . . .
> 
> They seem to be harmless once they're passed by latex, but paranoia is 
> catching up with me.  Is there a way to remove them?

You could easily (?) whip up a perl script (or probably even
awk...) to do it except between \begin{figure} and \end{figure}, e.g.

-Amir