Bug#388246: Is the application of the GFDL to the gcc manpage a GNU or a Debian decision?

[Matthias Klose <doko@cs.tu-berlin.de>]

Daniel Jacobowitz writes:
> On Thu, May 03, 2007 at 02:06:38PM -0500, Jordi Gutierrez Hermoso wrote:
> > So what, exactly, is the status of the GFDL and GCC's manpage? I still
> > insist that no GCC manpage is a serious policy violation, especially
> > considering the importance of a package like GCC.
> 
> The man page is generated from the Texinfo documentation.  Accordingly
> it is covered by the same license.  I don't know what the status of
> invariant sections in it is.

same as for the texinfo docs.