by Stevenix :: Rate this Message:

In order to get 'one-and-a-half- line spacing, (or double spacing) now there's baselinefactor definition (on texinfo.tex line #1652) that should be enough.

But i try to redefine to \def\baselinefactor{1.5}, and nothing changes...

1651 % can get a sort of poor man's double spacing by redefining this.
1652 \def\baselinefactor{10}

How can i get more spacing between lines, so?

thank you,

Steve

Karl Berry wrote:
Hi Karim,

I would just like to know if, and how, it is possible to use
`one-and-a-half' line spacing in Texinfo when producing formatted

There's no document-level way to do it, but if you change the definition
of \setleading in texinfo.tex, you might get something approximating
that result.  That is, change this:

\normalbaselineskip = #1\relax

to this:

\dimen0 = #1\relax
\normalbaselineskip = 1.5\dimen0

Let me know if this works, and I'll make it a "secret" option in
texinfo.tex.

Best,
Karl

_______________________________________________
help-texinfo@gnu.org
http://lists.gnu.org/mailman/listinfo/help-texinfo