Yes, that works. However, I was thinking on double-spacing the whole
document rather than just the areas between the "@tex" and "@end tex"
structure.
Could not find such details in the texinfo manual for a command
that introduces double spacing that I can call before @title.
I used to think that I need to call \baselinefactor or \baselineskip
everytime I call the @tex structure, but have seen that the command
is applied whenever I call the @tex struct.
Have also noticed that I can use the texinfo @-command inside the @tex
structure. By this I mean that the @tex structure does not impose the
use of only tex \-commands, but also texinfo @-commands such as @emph{}
as well.
Christopher
> Sent: Sunday, May 12, 2019 at 6:54 PM
> From: "Gavin Smith"
> To: "Christopher Dimech"
> Cc: "help-texinfo gnu"
> Subject: Re: [help-texinfo] Texi documents in double spacing
>
> On 5/12/19, Christopher Dimech 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.)
>
