On 30 January 2018 at 14:10, Richard Stallman wrote:
> What do you think about this complaint?
> Should we change the behavior of texinfo.tex about this?
>
> --- Start of forwarded message ---
> On page 11 of the PDF version, in the last sentence of section 2.1, the
> reference
>
> see Se
On 31 January 2018 at 01:26, Richard Stallman wrote:
> Could you change the @..ref constructs, for TeX and HTML output,
> to put the name of the book into italics (when there is a book name)?
I believe it already does. For example, in a cross-reference like "see
User Input in The GNU Emacs Manual
