Re: Bug#929752: Changing quote signs in GPL allowed? [Was: Bug#929752: installation-guide: left quotes in gpl.xml are not correctly rendered in pdf ]
On Tue, Aug 06, 2019 at 08:30:56PM +0200, Holger Wansing wrote:
> 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?
gpl.xml isn't official. It isn't one of the files from the FSF.
There is a gpl-2.0.dbk[1] version available which in fact does use <quote>
and </quote> while every other file format uses ` and '. So at least
there is precedence for using <quote> tags instead. After all if you
decided to use the docbook file as your source text, you would get the
quotes desired.
[1] https://www.gnu.org/licenses/old-licenses/gpl-2.0.dbk
--
Len Sorensen
Reply to: