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

[Stefan Kangas]

Stefan Kangas <stefankangas@gmail.com> writes:

> Drew Adams <drew.adams@oracle.com> 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?

Eli Zaretskii <eliz@gnu.org> writes:

> It is not a bug.  That's what @example does.

So should we replace this with “ and ” or should we close this as
wontfix?