Bug#312392: pari-doc: documentation should be gzipped

2005-06-08 Thread Bill Allombert
On Wed, Jun 08, 2005 at 01:35:15AM +0100, Julian Gilbey wrote: > On Wed, Jun 08, 2005 at 12:29:14AM +0200, Bill Allombert wrote: > > On Tue, Jun 07, 2005 at 10:59:48PM +0100, Julian Gilbey wrote: > > > Package: pari-doc > > > Version: 2.1.6-3 > > > Severity: minor > > > > > > The documentation in

Bug#312392: pari-doc: documentation should be gzipped

2005-06-07 Thread Julian Gilbey
On Wed, Jun 08, 2005 at 12:29:14AM +0200, Bill Allombert wrote: > On Tue, Jun 07, 2005 at 10:59:48PM +0100, Julian Gilbey wrote: > > Package: pari-doc > > Version: 2.1.6-3 > > Severity: minor > > > > The documentation in /usr/share/doc/pari-doc/doc should be gzipped > > (see policy 12.3); after al

Bug#312392: pari-doc: documentation should be gzipped

2005-06-07 Thread Bill Allombert
On Tue, Jun 07, 2005 at 10:59:48PM +0100, Julian Gilbey wrote: > Package: pari-doc > Version: 2.1.6-3 > Severity: minor > > The documentation in /usr/share/doc/pari-doc/doc should be gzipped > (see policy 12.3); after all, xdvi can read gzipped files. Hello Julian, The doc is actually in /usr/sh

Bug#312392: pari-doc: documentation should be gzipped

2005-06-07 Thread Julian Gilbey
Package: pari-doc Version: 2.1.6-3 Severity: minor The documentation in /usr/share/doc/pari-doc/doc should be gzipped (see policy 12.3); after all, xdvi can read gzipped files. Julian -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROT