Re: Bug#200003: cpp: contains non-free manpages

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

Henning Makholm writes:
> Scripsit Andrew Suffield <asuffield@debian.org>
> 
> > gpl(7): that can be replaced with a reference to
> > /usr/share/misc/common-licenses
> 
> > gfdl(7): that's included (as text, rather than a tagged manpage) in
> > /usr/share/cpp-3.3/copyright already, and is therefore redundant
> 
> And in any case, it seems to be wrong in general for a package to
> provide /usr/share/man/man7/g{p,fd}l.7 when there are any number of
> other packages that would have equally good reasons for providing
> files with that name. See Debian Policy, section 6.5.4 - two different
> packages must not provide the same file unless they conflict or
> replace each other.

and that's the reason they are named *.7gcc ...

anyway, I'll wait until Debian's position on the GFDL is documented
somewhere and then address all these together.