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. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
