Re: (texinfo) dfn - the double quotes around ``deleting'' are inconsistentwith (eintr) Complications ``variables''

[Eli Zaretskii]

> From: Gavin Smith <address@hidden>
> Date: Sat, 2 Jun 2018 10:14:33 +0100
> Cc: Texinfo <address@hidden>
> 
> I don't know the context for this discussion but I doubt that it is a
> Texinfo bug. The Info viewer will display whatever types of quote were
> in the Info file which depends on the version of Texinfo it was
> generated with as well as the declared character encoding of the
> source Texinfo file. Currently I believe that Unicode directional
> double quotes are output for @dfn if the Texinfo file is declared to
> be encoded in UTF-8. It may have been a mistake to ever use Unicode
> directional single or double quotes in Info output (as it is for
> terminal output - it's not supposed to look good) - but this should
> not change now in my opinion as it would upset too many people.

I believe the issue is that texinfo.texi doesn't declare
@documentlanguage, and therefore the Info output is produced as pure
ASCII, and uses ASCII quoting "like this" instead of Unicode quoting
“like this”.  The Emacs manuals use the latter.