Re: How to insert GPL-text into gcmd documentation

2017-02-06 Thread Uwe Scholz
Hey Petr and Alexandre, Am Mon, 6 Feb 2017 18:42:47 +0100 schrieb Alexandre Franke : > Hi, > > On Mon, Feb 6, 2017 at 6:07 PM, Petr Kovar wrote: > > I think that itstool will pick up the strings from legal.xml just > > fine but it's a lot of extra strings for translation. IANAL but > > maybe you

Re: How to insert GPL-text into gcmd documentation

2017-02-06 Thread Alexandre Franke
Hi, On Mon, Feb 6, 2017 at 6:07 PM, Petr Kovar wrote: > I think that itstool will pick up the strings from legal.xml just fine but > it's a lot of extra strings for translation. IANAL but maybe you could just > include a standard legal notice there, such as: > > This manual is free software; you

Re: How to insert GPL-text into gcmd documentation

2017-02-06 Thread Petr Kovar
Hi Uwe, On Sat, 4 Feb 2017 20:47:55 +0100 Uwe Scholz wrote: > Hi Gnome translators, > > I currently updated Gnome Commander to use the "New Documentation > Infrastructure" (*) using yelp. The Gnome Commander documentation is > still written in DocBook format. > > I decided to include the text

How to insert GPL-text into gcmd documentation

2017-02-04 Thread Uwe Scholz
Hi Gnome translators, I currently updated Gnome Commander to use the "New Documentation Infrastructure" (*) using yelp. The Gnome Commander documentation is still written in DocBook format. I decided to include the text of GPLv2 in the docu and did this by saving the official GPLv2 docbook text (