Re: [help-texinfo] Texi documents in double spacing

2019-05-12 Thread Christopher Dimech
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

Re: [help-texinfo] Texi documents in double spacing

2019-05-12 Thread Gavin Smith
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

[help-texinfo] Texi documents in double spacing

2019-05-12 Thread Christopher Dimech
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". Christopher