It works fine. Thank you very much. On 7/21/09, Norman Ramsey <[email protected]> wrote: > Please test the attachment. > > > > > # whitespace -- noweb filter to make multiple whitespace > # characters equivalent to a single space, so that > # << Hello World>>, <<Hello World>>, > # and <<Hello World >> all refer to the chunk > # <<Hello World>> > > sed -e '/^...@use /s/[ \t][ \t]*/ /g' -e '/^...@defn /s/[ \t][ \t]*/ /g' \ > -e '/^...@use /s/[ \t]*$//g' -e '/^...@defn /s/[ \t]*$//g' > > > >
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
