how to double space text

[George Sicherman]

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 ... ?