On Sun, Dec 14, 2008 at 06:45:33PM -0600, Jordi Gutiérrez Hermoso wrote: > 2008/12/14 Bill Allombert <bill.allomb...@math.u-bordeaux1.fr>: > > The HTML doc cannot be build from source in Debian main because they use > > tth which is in non-free, so the HTML documentation must go in contrib, > > in a separate package. > > Hm, the upstream tarball contains the doc/htm directory which has all > of the HTML already there, and it seems human-readable to me. I don't > know if this is a peculiarity of a recent release, but can't that html > directory just be packaged as it is? HTML is a pretty transparent > format. Does it matter how they generated it? It doesn't have a > separate copyright notice, so I imagine it's all GPL.
It is under the GNU GPL but it is certainly generated from the TeX documentation using the script 'etc/convert.pl' in the GAP tool package, so the HTML is not "the preferred form of the work for making modifications to it.". For a software to be in main, the Debian policy requires that it can be build from source in main, else it must go in contrib. Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
