I don't think it's to do with texinfo, the original texinfo source also
has the extra spacing. (See the attached sample patch).
I'm also not sure why the source wraps at about the 72nd column. This
makes the documentation artificially difficult to read on a large
terminal. Surely the documentat
reassign 307264 texinfo
thanks
bash is using a standard makeinfo call.
makeinfo --no-split -I../../bash/lib/readline/doc ../../bash/doc/bashref.texi
Not sure, what can be done about it.
Also note, that this is done for the toplevel menu only.
Michael Wardle writes:
> Package: bash
> Version
Package: bash
Version: 2.05b-26
Severity: minor
Each link (text preceeded by * indicating a link to another document) is
separated by a blank line, giving the appearance of double-spaced lines.
This is unnecessary, causes less information to appear on the screen at
once, is unlike many other TeXi
3 matches
Mail list logo
