This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: GCC 4.3 license in manual still under GPLv2
On Wed, Mar 26, 2008 at 11:16 PM, Mark Mitchell <mark@codesourcery.com> wrote:
> Joseph S. Myers wrote:
>
> >> In that message, you suggest that we need the local changes in order to
> >> generate a gpl.7 manual page. But, why do we need such a manual page? What
> >> would be the adverse consequences of just replacing our gpl.texi with the FSF
> >> GPLv3 version?
> >
> > The manual page is needed to follow the instructions from the FSF about
> > how to handle invariant sections in the manual when a subset of the manual
> > is made into a manpage <http://gcc.gnu.org/ml/gcc/2001-11/msg00311.html>.
>
> How about we just drop the manual pages, then?
>
> Right now, we're in the situation where the manual is deceptive. If the
> manual talks about GPLv2, a user might rely on that. We should be
> making the license unambiguous so that users do not feel deceived. If
> we don't have the bandwidth to mess with all the bits required here,
> then maybe we should just stop providing man pages. For something as
> big and complex as GCC, info/HTML/PDF all seem like better media.
IMHO manpages for the driver(s) with option summaries are a good thing to
have and I'd hate to lose them.
Richard.