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
