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
2 matches
Mail list logo