[help-texinfo] Texi documents in double spacing

[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