Subject: bug#44211: 26.3; Repeated `` and '' in Info (eintr)`GNU Free Documentation License'

From: Stefan Kangas <[email-masked]>
Date: Sun, 25 Oct 2020 11:53:02 -0700

Drew Adams <[email-masked]> writes:

> Dunno whether this is actually a bug, but it seems odd.
>
> In this node you find this text:
>
>  Texts.  A copy of the license is included in the section entitled ``GNU
>  Free Documentation License''.
>
> Should the `` and '' perhaps be rendered differently - perhaps as curly
> double quotes?

Agreed, they should probably be marked as the other instances of ``text
quoted like this''.

But the markup seems correct.  Is this a bug in makeinfo perhaps?