[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] Texi documents in double spacing
From: |
Gavin Smith |
Subject: |
Re: [help-texinfo] Texi documents in double spacing |
Date: |
Sun, 12 May 2019 19:54:56 +0100 |
On 5/12/19, Christopher Dimech <address@hidden> 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.)