From: Joe Buck <buck at nrl-css> 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