Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!vaxine!wjh12!genrad!decvax!cca!ima!haddock!johnl
From: johnl@haddock.UUCP
Newsgroups: net.unix
Subject: Re: how to double space text? - (nf)
Message-ID: <119@haddock.UUCP>
Date: Thu, 15-Mar-84 23:46:43 EST
Article-I.D.: haddock.119
Posted: Thu Mar 15 23:46:43 1984
Date-Received: Sun, 18-Mar-84 01:42:36 EST
Lines: 14

#R:noscvax:-35500:haddock:16700016:000:194
haddock!johnl    Mar 15 16:07:00 1984

In our (Sys III) system, any of the following double space text:

	pr -t -d [filename]

	awk '{ print $0; print }'

	while read x; do echo "$x\\n"; done

Take your pick.

John Levine, ima!johnl