how to double space text? - (nf)

[johnl at haddock.UUCP]

#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