Bug#929752: Changing quote signs in GPL allowed? [Was: Bug#929752: installation-guide: left quotes in gpl.xml are not correctly rendered in pdf ]
[Adding debian-devel for a bigger audience]
Hi,
Holger Wansing <hwansing@mailbox.org> wrote:
> Control: retitle -1 Replace grave accents/single quotes by <quote></quote> in gpl.xml
>
> Samuel Thibault <sthibault@debian.org> wrote:
> > Hello,
> >
> > Changwoo Ryu, le jeu. 30 mai 2019 22:22:05 +0900, a ecrit:
> > > In en/appendix/gpl.xml, ordinary double quotes (") and grave accent
> > > character (`)
> > > are used for left single/double quotes. But they are not correctly
> > > rendered in pdf.
> > >
> > > See the English PDF at
> > > https://www.debian.org/releases/stable/amd64/install.pdf.en.
> > > Opening double quotes are rendered as right double quotes. And grave accents are
> > > rendered just as grave accents, not a left single quotes.
> >
> > AIUI we should just replace "" and `' in the xml file with
> > <quote></quote>.
I was about to commit these changes, however it came to my mind if such
changes to the GPL are allowed?
At least the English variant of the GPL is 'official' and is not to be
changed, so what about changing the quoting signs into <quote> </quote>
entities?
Holger
--
Holger Wansing <hwansing@mailbox.org>
PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076
Reply to: