Re: License of coq documentation
Scripsit Andrew Donnellan <email@example.com>
> Yes, it's definately not DFSG-free. Also documentation will have to be
> in non-free (is there a policy against including Debian-specific
> licensing in non-free?) or removed.
No, the "no license specific to Debian" thing is just for DFSG
Of course, the license must not be so specific to Debian that the
mirror operators cannot distribute the software.
Henning Makholm "Traner tænker temmelig tumpet tirsdag."