On 5/12/19, Christopher Dimech <[email protected]> wrote:
> I am writing a book using texinfo. Anyway I can make text double spaced? I
> have looked at the manula but noticed nothing specific. I can do double
> spacing in sections within "@tex" and "@end tex".
I am not completely sure of all the details but
@tex
\gdef\baselinefactor{2}%
\letterpaper
@end tex
appears to work to produce double spacing in all following material.
(I also discovered a bug while testing this in that \globaldefs=1
inside @tex leaves the catcode of newline as active, contrary to what
is stated in the manual.)
