Bug#508742: gap: No HTML docs

2008-12-15 Thread Bill Allombert
On Mon, Dec 15, 2008 at 10:05:40AM -0600, Jordi Gutiérrez Hermoso wrote: > Argh, this is frustrating. Over a non-issue and meaningless > bureaucracy, we are taking functionality away from our users. Not at all, we are simply keeping our promise to our users with respect to the content of main. >

Bug#508742: gap: No HTML docs

2008-12-15 Thread Jordi Gutiérrez Hermoso
2008/12/15 Bill Allombert : > 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 Debi

Bug#508742: gap: No HTML docs

2008-12-15 Thread Bill Allombert
On Sun, Dec 14, 2008 at 06:45:33PM -0600, Jordi Gutiérrez Hermoso wrote: > 2008/12/14 Bill Allombert : > > 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 ups

Bug#508742: gap: No HTML docs

2008-12-14 Thread Jordi Gutiérrez Hermoso
2008/12/14 Bill Allombert : > 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,

Bug#508742: gap: No HTML docs

2008-12-14 Thread Bill Allombert
On Sun, Dec 14, 2008 at 04:58:32PM -0600, Jordi Gutiérrez Hermoso wrote: > Package: gap > Version: 4r4p10-2 > Severity: wishlist > > Upstream distributes HTML docs, but they aren't packaged for Debian. > Please do so. Hello Jordi, The HTML doc cannot be build from source in Debian main because

Bug#508742: gap: No HTML docs

2008-12-14 Thread Jordi Gutiérrez Hermoso
Package: gap Version: 4r4p10-2 Severity: wishlist Upstream distributes HTML docs, but they aren't packaged for Debian. Please do so. -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (101, 'experimental') Architecture: amd6