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

[Gavin Smith]

On Mon, May 28, 2018 at 12:12 PM, Van L <address@hidden> wrote:
>> You are saying that the Texinfo manual uses ASCII quotes, and therefore
>> the opening and closing quotes are identical?
>
> Yes.
>
>>> Hello.
>>>
>>> The beginning and ending double-quoting symbols are inconsistent for
>>>
>>>  1. (eintr) Complications ``variables''
>>>  2. (texinfo) dfn ''deleting''
>>>
>>> : 8cda6f8f (Glenn Morris             2007-09-06  1511) the symbol's
>>> value as a @dfn{variable}.  This situation is described
>>>
>>> Looking up address@hidden in ``(texinfo) dfn’’ the double-quoting
>>> used in the line has
>>>
>>> :      Getting rid of a file is called "deleting" it.
>>>
>>> Expect the quoting symbol for open and close to be identical since
>>> both are being presented in Info page format.
>>>
>>> See:
>>>
>>> http://emacs.scratch.space/public/info-dfn-deleting-ugly-double-quotes.png

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.