> Eli Zaretskii writes:
>
> 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 ``@dfn{variable}’’ 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
>