[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#44211: 26.3; Repeated `` and '' in Info (eintr)`GNU Free Documentati
|
From: |
Stefan Kangas |
|
Subject: |
bug#44211: 26.3; Repeated `` and '' in Info (eintr)`GNU Free Documentation License' |
|
Date: |
Sun, 25 Oct 2020 11:53:02 -0700 |
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?