bug#31614: (texinfo) dfn - the double quotes around ``deleting'' are inconsistent with (eintr) Complications ``variables''

[Eli Zaretskii]

> From: Andreas Schwab <schwab@suse.de>
> Date: Mon, 28 May 2018 12:52:22 +0200
> Cc: 31614@debbugs.gnu.org
> 
> On Mai 28 2018, Van L <van@scratch.space> wrote:
> 
> >   1. (eintr) Complications ``variables''
> >   2. (texinfo) dfn ''deleting''
> 
> The manuals are created with different makeinfo versions.

Actually, the Texinfo manual is traditionally produced using the same
version of Texinfo as the one described in the manual.  In the case of
the latest version, it's Texinfo 6.5, the latest version.

AFAIK, the cause of the difference in quoting style is that the
Texinfo manual doesn't use any @documentencoding directive, so the
output is plain-ASCII.