Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!floyd!harpo!seismo!hao!hplabs!sri-unix!buck@nrl-css
From: buck%nrl-css@sri-unix.UUCP
Newsgroups: net.unix
Subject: how to double space text?
Message-ID: <17623@sri-arpa.UUCP>
Date: Fri, 16-Mar-84 13:20:14 EST
Article-I.D.: sri-arpa.17623
Posted: Fri Mar 16 13:20:14 1984
Date-Received: Mon, 19-Mar-84 07:50:31 EST
Lines: 10

From:  Joe Buck 

Use awk. The command

awk '{ printf "%s/n/n",$0 }' file

will print file doublespaced. If file is omitted, awk reads the standard
input, so it can be used in pipes.

-Joe