Cool! Several handy one-liners for use in Sed, the stream editor.
# double space a file
# double space a file which already has blank lines in it. Output file
# should contain no more than one blank line between lines of text.
# triple space a file
# undo double-spacing (assumes even-numbered lines are always blank)