🚀 go-pugleaf

In article <10960@phoenix.Princeton.EDU> eliot@phoenix.Princeton.EDU (Eliot Handelman) writes:
>Lamport pg. 155 says that "you can produce a `double-spaced' version of
>the document for copy-editing \baselinestretch to 2." Here's what I did.
>\documentstyle{article}
>\begin{document}
>\baselinestretch 2
>This is a long document
>
>\end{document}

To re-set \baselinestretch, use \renewcommand, as in
\renewcommand{\baselinestretch}{2}

Do not, however, attempt to use this technique to create a double spaced
paper for anything other than copy-editing. The results will be sh*t.
Ideally, you should have a document style which adjusts assorted values
appropriately for double spacing (doublespace.sty is _not_ a reasonable
solution for all but the simplest of documents). Not only should environments
like quote and quotation be modified but also spacing in lists &c. should
also be changed.

Do it right or don't do it at all.

-dh
-- 
Don Hosek            | Internet: DHOSEK@HMCVAX.CLAREMONT.EDU
                     | Bitnet: DHOSEK@HMCVAX.BITNET
                     | Phone: 714-920-0655
(I used to be a Mudder, but I got better)