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