public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: Joe Buck <Joe.Buck@synopsys.COM>
To: "Alfred M. Szmidt" <ams@gnu.org>
Cc: "bkoz@redhat.com" <bkoz@redhat.com>,
	       "paul_koning@Dell.com" <paul_koning@Dell.com>,
	       "kenner@vlsi1.ultra.nyu.edu" <kenner@vlsi1.ultra.nyu.edu>,
	       "dnovillo@google.com" <dnovillo@google.com>,
	       "dewar@adacore.com" <dewar@adacore.com>,
	       "gcc@gcc.gnu.org" <gcc@gcc.gnu.org>,
	       "iant@google.com" <iant@google.com>,
	       "mark@codesourcery.com" <mark@codesourcery.com>,
	       "richard.guenther@gmail.com" <richard.guenther@gmail.com>,
	       "stevenb.gcc@gmail.com" <stevenb.gcc@gmail.com>
Subject: Re: GFDL/GPL issues
Date: Wed, 04 Aug 2010 18:48:00 -0000	[thread overview]
Message-ID: <20100804184640.GA17485@synopsys.com> (raw)
In-Reply-To: <E1Oghrf-0001JK-3B@fencepost.gnu.org>

On Wed, Aug 04, 2010 at 10:34:51AM -0700, Alfred M. Szmidt wrote:
>    You are being denied by RMS.  He controls the copyright, the SC has
>    no legal say, and he's stubborn as hell.
> 
> When presented with weak arguments, then yes he will be stubborn but
> rightly so.  
> 
> I don't see what the problem is with two manuals, from a users
> perspective I actually prefer that and doing cross referencing between
> manuals in texinfo is easy.

OK, let's say Don Knuth decides he wants to spend his retirement
contributing to GNU.  RMS is effectively saying that "literate
programming" is banned from the GNU project and Knuth can just go away if
he doesn't like it (and yes, requiring GFDL for documentation and GPL for
code is equivalent to banning literate programming).  This is an
anti-software-freedom argument, an attempt by one man to impose his
personal taste.

For a class library, documentation generators are really the only
reasonable way to provide a maintainable manual.  You need to make
sure that every inheritance relationship is described correctly, and
you need to make sure that, as interfaces change, they are described
consistently and accurately.  The best way to achieve that is to
auto-generate the information.  Sure, as a *user* it works equally
well for you if the maintainers have worked three times as hard to
do by hand what could be done by computer, but there's a high cost.

  parent reply	other threads:[~2010-08-04 18:47 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
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 [this message]
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=20100804184640.GA17485@synopsys.com \
    --to=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=mark@codesourcery.com \
    --cc=paul_koning@Dell.com \
    --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).