Sender: nate AT cartsys DOT com
Message-ID: <35B627CD.3FADA011@cartsys.com>
Date: Wed, 22 Jul 1998 10:56:29 -0700
From: Nate Eldredge <nate AT cartsys DOT com>
MIME-Version: 1.0
To: "Salvador Eduardo Tropea (SET)" <salvador AT inti DOT gov DOT ar>
CC: Hans-Bernhard Broeker <broeker AT physik DOT rwth-aachen DOT de>,
        Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>, djgpp-workers AT delorie DOT com
Subject: Re: Man pages (was Re: Ispell and pipes)
References: <m0yyyFb-000S4bC AT inti DOT gov DOT ar> <m0yyzXd-000S4yC AT inti DOT gov DOT ar>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Precedence: bulk

Salvador Eduardo Tropea (SET) wrote:

> > there's always the little tool
> > that knows how to remove backspace-character sequences from a text file.
> 
> Last night I wrote one in a few minutes just to test if all works
> like I think.

What about--

(gnu shutils echo)
echo -e "s/.\b//g" >fix.sed
sed -f fix.sed <page.1 >page.txt

What do they say?  "Those who don't use sed are doomed to re-invent
it"?  ;-)
-- 

Nate Eldredge
nate AT cartsys DOT com