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

From: Stefan Kangas <[email-masked]>
Date: Thu, 11 Mar 2021 19:07:28 -0600

Stefan Kangas <[email-masked]> writes:

> 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?

Eli Zaretskii <[email-masked]> 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?