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

[Henning Makholm <henning@makholm.net>]

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.

-- 
Henning Makholm                               "... popping pussies into pies
                                                      Wouldn't do in my shop
                            just the thought of it's enough to make you sick
                           and I'm telling you them pussy cats is quick ..."