[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [help-texinfo] Adjusting line spacing

From: Karl Berry
Subject: Re: [help-texinfo] Adjusting line spacing
Date: Sat, 25 Aug 2007 16:37:16 -0500

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]