Henning Makholm writes: > Scripsit Andrew Suffield <[EMAIL PROTECTED]> > > > 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.