public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: Mark Mitchell <mark@codesourcery.com>
To: Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
Cc: Joe.Buck@synopsys.com, ams@gnu.org, bkoz@redhat.com,
	 dewar@adacore.com, dnovillo@google.com, gcc@gcc.gnu.org,
	 iant@google.com, richard.guenther@gmail.com,
	stevenb.gcc@gmail.com
Subject: Re: GFDL/GPL issues
Date: Tue, 03 Aug 2010 02:08:00 -0000	[thread overview]
Message-ID: <4C577A2D.3030303@codesourcery.com> (raw)
In-Reply-To: <11008030058.AA09324@vlsi1.ultra.nyu.edu>

Richard Kenner wrote:

> "bad" isn't very precise.  The claim was made that a reason that it's "bad"
> is that not being able to automatically generate documentation lowers
> the quality of the documentation.   That's what I disagree with.

OK, fine; that's a reasonably debatable point.  But, we currently can't
automatically generate manuals -- which is something we used to be able
to do -- and that's bad.  In general, a policy that prevents us from
being able to use a particular technical method to achieve a goal is silly.

>> But, there is nothing that says that both kinds of documentation might
>> not be located physically in the code, so that when you
>> add/delete/modify a constraint you can also easily update the
>> documentation.
> 
> In that case, wouldn't we have two distinctly different kinds of material
> in the same file: an extract from a manual and code.  So why couldn't
> the file have a license that says "this part is GFDL and this part is GPL"?

Maybe it could.  But, maybe it can't.  It depends on how closely you can
weave the documents together before you end up with something that is
more than mere aggregation.

None of this really answers the key question, which is, in my opinion,
what is the GFDL actually buying us?  And, if all it's buying us is that
people can't remove the FSF's philosophical statements in manuals, is
that worth having to split hairs about exactly what parts of what
documentation can be generated in what exact manner?

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713

  reply	other threads:[~2010-08-03  2:08 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
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 [this message]
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=4C577A2D.3030303@codesourcery.com \
    --to=mark@codesourcery.com \
    --cc=Joe.Buck@synopsys.com \
    --cc=ams@gnu.org \
    --cc=bkoz@redhat.com \
    --cc=dewar@adacore.com \
    --cc=dnovillo@google.com \
    --cc=gcc@gcc.gnu.org \
    --cc=iant@google.com \
    --cc=kenner@vlsi1.ultra.nyu.edu \
    --cc=richard.guenther@gmail.com \
    --cc=stevenb.gcc@gmail.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).