[net.unix] how to double space text

colonel@sunybcs.UUCP (George Sicherman) (03/20/84)

This line gets eaten by a w>@=nnnn---*

Here's the script I use:

	awk '{printf "%s\n\n",$0}' $*

There must be a better way, but ... ?