It works fine. Thank you very much. On 7/21/09, Norman Ramsey <n...@segway.eecs.harvard.edu> 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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
