[Bug other/52207] New: License on gcc/doc/include/gcc-common.texi screws up the licenses of many other documents.

[Bug other/52207] New: License on gcc/doc/include/gcc-common.texi screws up the licenses of many other documents.

[naesten at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52207

             Bug #: 52207
           Summary: License on gcc/doc/include/gcc-common.texi screws up
                    the licenses of many other documents.
    Classification: Unclassified
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: blocker
          Priority: P3
         Component: other
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: naesten@gmail.com


gcc/doc/include/gcc-common.texi says:

@c Copyright (C) 2001, 2002, 2003, 2004, 2005,
@c 2007 Free Software Foundation, Inc.
@c This is part of the GCC manual.
@c For copying conditions, see the file gcc.texi.

gcc/doc/gcc.texi says:

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3 or
any later version published by the Free Software Foundation; with the
Invariant Sections being ``Funding Free Software'', the Front-Cover
Texts being (a) (see below), and with the Back-Cover Texts being (b)
(see below).  A copy of the license is included in the section entitled
``GNU Free Documentation License''.

(a) The FSF's Front-Cover Text is:

     A GNU Manual

(b) The FSF's Back-Cover Text is:

     You have freedom to copy and modify this GNU Manual, like GNU
     software.  Copies published by the Free Software Foundation raise
     funds for GNU development.

But there are a lot of other documents that include this file, most of which do
not include the "Funding Free Software" section (and have "@copying" blocks
different from the above):

find . -type f -print0 | "xargs" -0 -e grep -nH -e '@include.*gcc-common'
./gcc/ada/gnat-style.texi:30:@include gcc-common.texi
./gcc/ada/gnat_rm.texi:37:@include gcc-common.texi
./gcc/ada/gnat_ugn.texi:124:@include gcc-common.texi
./gcc/doc/cpp.texi:9:@include gcc-common.texi
./gcc/doc/gcc.texi:25:@include gcc-common.texi
./gcc/doc/cppinternals.texi:5:@include gcc-common.texi
./gcc/doc/gccint.texi:11:@include gcc-common.texi
./gcc/doc/install.texi:10:@include gcc-common.texi
./gcc/fortran/gfc-internals.texi:6:@include gcc-common.texi
./gcc/fortran/gfortran.texi:6:@include gcc-common.texi
./gcc/java/gcj.texi:12:@include gcc-common.texi
./gcc/go/gccgo.texi:12:@include gcc-common.texi

find . -type f -print0 | "xargs" -0 -e grep -nH -e '@include.*funding'
./gcc/doc/gcc.texi:173:@include funding.texi
./gcc/doc/gccint.texi:164:@include funding.texi
./gcc/fortran/gfortran.texi:3033:@include funding.texi

and which it is therefore probably illegal for anyone but the FSF to distribute
in built form.

[Bug other/52207] License on gcc/doc/include/gcc-common.texi screws up the licenses of many other documents.

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52207

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|blocker                     |normal

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-02-10 23:45:58 UTC ---
IIRC this was done on purpose.

[Bug other/52207] License on gcc/doc/include/gcc-common.texi screws up the licenses of many other documents.

[jsm28 at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52207

Joseph S. Myers <jsm28 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gerald at pfeifer dot com

--- Comment #2 from Joseph S. Myers <jsm28 at gcc dot gnu.org> 2012-02-11 12:18:48 UTC ---
This is clearly a matter for the SC.  I'd suggest they seek approval from the
FSF to

(a) put suitable terms directly on gcc-common.texi (maybe GFDL without
invariant sections or cover texts, maybe permissive terms);

(b) remove cover texts and invariant sections from manuals that are under 400
pages and not published on paper by the FSF, as per the policies at
<http://www.gnu.org/prep/maintain/html_node/License-Notices-for-Documentation.html>
that do not require such cover texts and invariant sections in that case.

[Bug other/52207] License on gcc/doc/include/gcc-common.texi screws up the licenses of many other documents.

[naesten at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52207

--- Comment #3 from Samuel Bronson <naesten at gmail dot com> 2012-02-13 18:54:18 UTC ---
(In reply to comment #2)
> This is clearly a matter for the SC.  I'd suggest they seek approval from the
> FSF to
> 
> (a) put suitable terms directly on gcc-common.texi (maybe GFDL without
> invariant sections or cover texts, maybe permissive terms);
> 
> (b) remove cover texts and invariant sections from manuals that are under 400
> pages and not published on paper by the FSF, as per the policies at
> <http://www.gnu.org/prep/maintain/html_node/License-Notices-for-Documentation.html>
> that do not require such cover texts and invariant sections in that case.

I'm sorry; who exactly are the SC?

In any case, I expect this was just a mistake, and that the file is probably
meant to be under GFDL-NIV.

[Bug other/52207] License on gcc/doc/include/gcc-common.texi screws up the licenses of many other documents.

[steven at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52207

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-02-13
     Ever Confirmed|0                           |1

--- Comment #4 from Steven Bosscher <steven at gcc dot gnu.org> 2012-02-13 21:07:21 UTC ---
The SC is the Steering Committee. Gerald is on it, that is probably why Joseph
added him to the CC list.