Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site sunybcs.UUCP
Path: utzoo!watmath!clyde!floyd!harpo!seismo!rochester!rocksvax!sunybcs!colonel
From: colonel@sunybcs.UUCP (George Sicherman)
Newsgroups: net.unix
Subject: Re: how to double space text
Message-ID: <1241@sunybcs.UUCP>
Date: Tue, 20-Mar-84 15:25:10 EST
Article-I.D.: sunybcs.1241
Posted: Tue Mar 20 15:25:10 1984
Date-Received: Thu, 22-Mar-84 04:04:56 EST
References: <355@noscvax.UUCP>
Organization: SUNY/Buffalo Computer Science
Lines: 7

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