Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!floyd!harpo!seismo!hao!hplabs!sri-unix!steve@brl-bmd
From: steve%brl-bmd@sri-unix.UUCP
Newsgroups: net.unix
Subject: Re:  how to double space text?
Message-ID: <17622@sri-arpa.UUCP>
Date: Fri, 16-Mar-84 11:32:01 EST
Article-I.D.: sri-arpa.17622
Posted: Fri Mar 16 11:32:01 1984
Date-Received: Mon, 19-Mar-84 07:50:02 EST
Lines: 15

From:      Stephen Wolff 

When compiled,
		main(){
			char c;
			while(1){
				putchar(c=getchar());
				if(c=='\n')putchar(c);
			}
		}
works as a filter.  So does

		awk '{print; printf("\n");}'

but neither is blindingly efficient -- except for the programmer.