public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: Joern Rennecke <amylaar@spamcop.net>
To: basile@starynkevitch.net
Cc: Mark Mitchell <mark@codesourcery.com>,
	"Frank Ch. Eigler"	<fche@redhat.com>, GCC <gcc@gcc.gnu.org>
Subject: Re: GFDL/GPL issues
Date: Wed, 26 May 2010 21:26:00 -0000	[thread overview]
Message-ID: <20100526171548.7ihcdrakw8gk0kk0-nzlynne@webmail.spamcop.net> (raw)
In-Reply-To: <1274901401.3572.75.camel@glinka>

Quoting Basile Starynkevitch <basile@starynkevitch.net>:

> On Wed, 2010-05-26 at 11:19 -0700, Mark Mitchell wrote:
>>
>> As for practical advice regarding getting quicker decisions from the FSF
>> on licensing issues, I have none.  I've worked on several such issues
>> with the FSF over the years, and they've all been lengthy processes.  If
>> I knew how to do it faster, I certainly would.  The best way to work
>> with the FSF on license issues is always to explain how whatever request
>> you are making furthers the FSF's goals.
>
> [not being a native english speaker, I had lots of trouble understanding
> the last sentence above; apparently, according to my Robert&Collins
> english<->french dictionnary applied twice, "to further" means "to
> favour" in that context; is that understanding the right one?].

To a first order of approximation.  Pedantically speaking, you could be said
to favour the goals of the FSF over the goals of some other organization if
do less damage to the  goals of the FSF than to that of that other
organization.  OTOH 'further' in the context above does not allow such
a nefarious interpretation, it means that you are actually helping to
archieve/promote the goals of the FSF.

> First, I have no idea of who the FSF really means (except RMS). Who
> should I contact by email? What should I tell? What do I risk? What are
> the *technical* background I can assume? Do FSF people know what coding
> is about? (RMS certainly does, but is he most of FSF?).

There is some information on the fsf.org site.  You could also try
that question on gnu.misc.discuss .

> Second, I believe I tried hard to explain what MELT is doing w.r.t.
> documentation in an email (dated May 07th)
> http://gcc.gnu.org/ml/gcc/2010-05/msg00125.html to which *nobody*
> responded. Or was gcc@ the wrong list to ask?
>
> Are there any reason for which I should expect more attention now? I
> don't understand why a question nobody cared about on May 7th should
> become interesting on May 27th of the same year (2010).

Well, then we were still kind of hoping the FSF would come up with a
useful policy that allows using copyrightable elements from the code
to be used in its documentation, and vice versa.
However, now it doesn't look like that such a policy is forthcoming in
a timeframe relevant to current GCC development.

> And all this is not really MELT related, and perhaps even not even GCC
> related. Several GNU projects (notably GTK) generates documentation from
> code. Not understanding at all any internal (& personal) factors from my
> far continent (I am European, and I am not a lawyer!), I cannot imagine
> why any "policy" defined for GTK would not be ok for GCC? Or are not all
> GNU projects equal? Is GTK less important to the FSF than GCC? Or maybe
> GTK is not an FSF project, (this implying that GNU software is not FSF
> software)? Or are there still no FSF copyrighted software generating
> some small documentation from code! (we are in 2010, and it is common
> practice; I could imagine that bash or binutils have similar issues.).
> And for GTK at least, the header files only mention LGPL license, and
> apparently not any additional exception related to documentation...

I'm also at a loss why the GNU package maintainers, who are charged with
selecting which contributions to accept or reject, making sure each
relevant file has a license notice and that the program is properly documented
(http://www.gnu.org/prep/maintain/maintain.html,
  http://www.gnu.org/prep/standards/standards.html),
cannot authorize to put pieces of GPLed code/documentation under the GFDL,
or pieces of GFDLed code under the GPL, as long this is done in order to
pursue the goals set out in the above documents.

> And there is one even more basic thing I don't understand. Why are GFDL
> & GPL incompatible?

That one is easy.  The GPL, unlike the  GFDL, has a concept of source code,
which is relevant for the operation of the license.
I.e. I can auto-generate GFDL documentation from differently licensed source,
and distribute the result under the GFDL, and am free to mix it with other
GFDL documentation.  The same is not true for GPLed code.
The GPL does only grant redistribution rights under the GPL.  Since the
GFDL does not have a source code concept, it is not the GPL, so redistribution
rights under the GFDL are not granted by the GPL.
Likewise, the GFDL only grants redistribution rights under
'precisely this License', thus no redistribution rights under the GPL
are granted.

> Also, some official GCC documentation contains substantial chunks of
> code (e.g. plugins.texi). Does that mere fact legally invalidate
> something?

Ask a lawyer.  Or maybe more than one... the answer probably varies
with the jurisdiction.
Prima facie, it is unsafe to use any GFDLed documentation to write
GPLed code; see PR other/44032.

> In practice, should I have to erase all the :doc annotations in MELT
> source code?

I don't see how the annotations would be a problem; the problem only
arises when you have auto-generating scripts that use these annotations
and transform them into something whose sole purpose is to interface
with non-GPL (texinfo) code.
Moreover, if you wrote all these annotations yourself, under your own
Copyright Assignment to the FSF, then you should be able to get a GFDL
license in place for the generated file after giving the FSF notice
(see my previous post).

  parent reply	other threads:[~2010-05-26 21:15 UTC|newest]

Thread overview: 139+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-05-26  4:19 Mark Mitchell
2010-05-26  7:25 ` Basile Starynkevitch
2010-05-26 15:42   ` Frank Ch. Eigler
2010-05-26 16:03     ` Mark Mitchell
2010-05-26 18:10       ` Basile Starynkevitch
2010-05-26 18:27         ` Richard Kenner
2010-05-26 18:42         ` Mark Mitchell
2010-05-26 21:06           ` Basile Starynkevitch
2010-05-26 21:07             ` Mark Mitchell
2010-05-26 21:42               ` Joern Rennecke
2010-05-26 21:26             ` Joern Rennecke [this message]
2010-05-26 21:28               ` Mark Mitchell
2010-05-26 22:54                 ` Steven Bosscher
2010-05-26 23:12                   ` Mark Mitchell
2010-05-26 21:37             ` Joseph S. Myers
2010-05-27  5:10           ` Russ Allbery
2010-05-26 19:16         ` Joern Rennecke
2010-05-26 16:08     ` Joern Rennecke
2010-05-26 18:09     ` Basile Starynkevitch
2010-05-26 18:12       ` Mark Mitchell
2010-05-26 23:12       ` Alfred M. Szmidt
2010-05-26  8:04 ` Joern Rennecke
2010-05-27  7:25   ` Paolo Bonzini
2010-05-27  8:04     ` Joern Rennecke
2010-05-27  8:12       ` Paolo Bonzini
2010-05-26 21:15 ` Matthias Klose
2010-05-26 21:42   ` Joseph S. Myers
2010-05-26 21:51   ` Mark Mitchell
2010-05-27  0:01 ` Hans-Peter Nilsson
2010-05-27  5:39 ` Basile Starynkevitch
2010-05-27 11:46   ` Joseph S. Myers
2010-05-27 17:20   ` Alfred M. Szmidt
2010-05-27 22:51     ` Russ Allbery
2010-05-28  0:32       ` Joern Rennecke
2010-05-28  2:51         ` Ian Lance Taylor
2010-07-15  0:23 ` Benjamin Kosnik
2010-07-22 23:22   ` Mark Mitchell
2010-07-22 23:28     ` Steven Bosscher
2010-07-22 23:36       ` Mark Mitchell
2010-07-23  0:27         ` Joe Buck
2010-07-23  2:18           ` Joern Rennecke
2010-07-23  3:11           ` Mark Mitchell
2010-07-23  8:23         ` Ian Lance Taylor
2010-07-23 15:59           ` Mark Mitchell
2010-07-23 16:34             ` Ian Lance Taylor
2010-07-23 16:42               ` Mark Mitchell
2010-07-27  0:50           ` Benjamin Kosnik
2010-07-27  1:26             ` Mark Mitchell
2010-07-27  1:37               ` Robert Dewar
2010-07-27 15:54                 ` Mark Mitchell
2010-07-27 17:41                   ` Benjamin Kosnik
2010-07-27 17:45                     ` Mark Mitchell
2010-07-27 21:20                     ` Gerald Pfeifer
2010-07-27 18:08                   ` Joe Buck
2010-07-27 18:09                     ` Mark Mitchell
2010-07-27 20:25                       ` Richard Guenther
2010-07-27 21:39                         ` Mark Mitchell
2010-07-28 21:00                         ` Steven Bosscher
2010-07-28 21:17                           ` Mark Mitchell
2010-07-28 22:08                             ` Steven Bosscher
2010-07-28 22:30                               ` Richard Guenther
2010-07-29  7:41                               ` Alfred M. Szmidt
2010-07-29  8:36                                 ` Ian Lance Taylor
2010-07-29  8:55                                   ` Miles Bader
2010-07-29  9:23                                   ` Toon Moene
2010-07-29 12:47                                   ` Richard Kenner
2010-07-29 14:11                                     ` Joern Rennecke
2010-07-29 14:25                                       ` Richard Kenner
2010-07-29 14:33                                         ` Jeff Law
2010-07-29 14:40                                           ` Richard Kenner
2010-07-30 11:02                                           ` Robert Dewar
2010-07-30 11:01                                         ` Robert Dewar
2010-07-30 18:08                                         ` Toon Moene
2010-07-29 14:53                                     ` Mark Mitchell
2010-07-30 11:03                                       ` Robert Dewar
2010-07-30 14:29                                         ` Mark Mitchell
2010-07-30 15:54                                           ` Joern Rennecke
2010-07-31  0:10                                             ` Robert Dewar
2010-07-31  3:11                                               ` Joern Rennecke
2010-07-31 12:24                                                 ` Robert Dewar
2010-07-31  0:08                                           ` Robert Dewar
2010-07-31  0:16                                             ` Mark Mitchell
2010-08-02 23:13                                               ` Diego Novillo
2010-08-02 23:16                                                 ` Richard Kenner
2010-08-02 23:21                                                   ` Diego Novillo
2010-08-02 23:23                                                   ` Steven Bosscher
2010-08-02 23:34                                                     ` Richard Kenner
2010-08-02 23:45                                                       ` Mark Mitchell
2010-08-03  0:57                                                         ` Richard Kenner
2010-08-03  2:08                                                           ` Mark Mitchell
2010-08-03 18:46                                                           ` Robert Dewar
2010-08-15 19:16                                                             ` Florian Weimer
2010-08-15 16:17                                                               ` Robert Dewar
2010-08-15 16:11                                                                 ` Florian Weimer
2010-08-15 16:19                                                                   ` Richard Kenner
2010-08-15 19:47                                                                   ` Joel Sherrill
2010-08-15 20:21                                                                     ` Florian Weimer
2010-08-16 12:10                                                                   ` Miles Bader
2010-08-17  3:19                                                                     ` Joern Rennecke
2010-08-17  3:56                                                                       ` Richard Kenner
2010-08-17 10:41                                                                         ` Joern Rennecke
2010-08-03  9:05                                                       ` Paolo Bonzini
2010-08-03  0:51                                                   ` Paul Koning
2010-08-03 16:20                                                     ` Joe Buck
2010-08-03 18:49                                                       ` Robert Dewar
2010-08-03 21:45                                                         ` Steven Bosscher
2010-08-15 16:17                                                         ` Florian Weimer
2010-08-15 17:24                                                           ` Robert Dewar
2010-08-15 16:12                                                             ` Richard Kenner
2010-08-15 16:17                                                             ` Florian Weimer
2010-08-15 16:16                                                               ` Robert Dewar
2010-08-16 20:53                                                             ` Jonathan Corbet
2010-08-03 19:58                                                       ` Joseph S. Myers
2010-08-04  7:23                                                         ` Benjamin Kosnik
2010-08-04 13:10                                                           ` Diego Novillo
2010-08-04  7:21                                                       ` Benjamin Kosnik
2010-08-04 16:46                                                         ` Joe Buck
2010-08-04 17:35                                                           ` Alfred M. Szmidt
2010-08-04 18:37                                                             ` Paolo Bonzini
2010-08-04 18:45                                                               ` Paolo Bonzini
2010-08-04 18:56                                                               ` Alfred M. Szmidt
2010-08-04 18:59                                                                 ` Paolo Bonzini
2010-08-04 19:02                                                                   ` Paolo Bonzini
2010-08-04 20:03                                                                 ` Jonathan Wakely
2010-08-04 20:25                                                                   ` Alfred M. Szmidt
2010-08-04 20:52                                                                     ` Diego Novillo
2010-08-04 21:12                                                                     ` Richard Guenther
2010-08-04 22:29                                                                       ` Paolo Bonzini
2010-08-04 23:08                                                                         ` Joe Buck
2010-08-05  3:54                                                                           ` Paolo Bonzini
2010-08-05  3:09                                                                     ` Jonathan Wakely
2010-08-04 18:48                                                             ` Joe Buck
2010-08-04 20:42                                                               ` Alfred M. Szmidt
2010-08-03 18:36                                                 ` Robert Dewar
2010-08-04  0:08                                                   ` Miles Bader
2010-07-27  3:31               ` Miles Bader
2010-07-29 20:20 Brian Makin
2010-07-29 21:06 ` Joe Buck
2010-08-04 20:03 Brian Makin

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20100526171548.7ihcdrakw8gk0kk0-nzlynne@webmail.spamcop.net \
    --to=amylaar@spamcop.net \
    --cc=basile@starynkevitch.net \
    --cc=fche@redhat.com \
    --cc=gcc@gcc.gnu.org \
    --cc=mark@codesourcery.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).