On 5/12/19, Christopher Dimech <dim...@gmx.com> wrote: > 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.
Did you try the exact code I posted? That takes effect outside of the @tex block. > Could not find such details in the texinfo manual for a command > that introduces double spacing that I can call before @title. AFAIK there is nothing documented and official (and neither do I think there is a need for there to be). > 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. Yes, that is true. \ is recommended, though, as it may lead to errors when run with texi2any - although there may have been changes here since texi2any was first written.